Skip to main content
SpringerLink
Log in
Book cover

Symposium on Constructivity in Computer Science

Constructivity in CS 1991: Constructivity in Computer Science pp 89–107Cite as

Classical type theory

  • Conference paper
  • First Online:

  • 147 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 613))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beeson, M.J., Foundations of Constructive Mathematics, Metamathematical Studies, Springer-Verlag, 1985.

    Google Scholar 

  2. Constable, R. et al., The semantics of evidence, Tech. Rep. TR 85–684, Cornell University, 1985.

    Google Scholar 

  3. Friedman, H., Classically and intuitionistically provable recursive functions, in Higher Set Theory, Scott, D. S. and Muller, G. H. (ed.), Lecture Notes in Mathematics, vol. 699, Springer-Verlag, 21–28.

    Google Scholar 

  4. Girard, J.Y., Lafont, Y., Taylor, P., Proofs and Types, Cambridge University Press, 1989.

    Google Scholar 

  5. Girard, J.Y., Une extension de l'interprétation de Gödel á l'analyse, et son application á l'élimination des coupures dans l'analyse et la théorie des types, Proceedings of the Second Scandinavian Logic Symposium, Ed. J.E. Fenstad, North Holland, 1970.

    Google Scholar 

  6. Girard, J.Y., Towards Geometry of Interaction, Contemporary Mathematics 92, 1989.

    Google Scholar 

  7. Martin-Löf, P., Constructive Mathematics and Computer Programming, Proc. Sixth International Congress for Logic, Methodology and Philosophy of Science, North-Holland, Amsterdam, 1982, 153–175.

    Google Scholar 

  8. Martin-Löf, P., Intuitionistic type theories, Bibliopolis, (Napoli, 1984).

    Google Scholar 

  9. Murthy, C., Extracting Constructive Content from Classical Proofs, Ph.D. thesis, Cornell University, 1990.

    Google Scholar 

  10. Prawitz, D., Natural Deduction, Almqvist and Wiksell, Stockholm, 1965.

    Google Scholar 

  11. Reynolds, J. C., Towards theory of type structure, Paris Colloquium on Programming, LNCS 19, Springer-Verlag (1974), 408–425.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Oregon Graduate Institute, 19600 NW von Neumann Drive, 97006, Beaverton, OR, USA

    Maria Napierala

Authors
  1. Maria Napierala
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Paul Myers Jr. Michael J. O'Donnell

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Napierala, M. (1992). Classical type theory. In: Myers, J.P., O'Donnell, M.J. (eds) Constructivity in Computer Science. Constructivity in CS 1991. Lecture Notes in Computer Science, vol 613. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021085

Download citation

  • DOI: https://doi.org/10.1007/BFb0021085

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55631-2

  • Online ISBN: 978-3-540-47265-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation