Preview
Unable to display preview. Download preview PDF.
References
Beeson, M.J., Foundations of Constructive Mathematics, Metamathematical Studies, Springer-Verlag, 1985.
Constable, R. et al., The semantics of evidence, Tech. Rep. TR 85–684, Cornell University, 1985.
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.
Girard, J.Y., Lafont, Y., Taylor, P., Proofs and Types, Cambridge University Press, 1989.
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.
Girard, J.Y., Towards Geometry of Interaction, Contemporary Mathematics 92, 1989.
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.
Martin-Löf, P., Intuitionistic type theories, Bibliopolis, (Napoli, 1984).
Murthy, C., Extracting Constructive Content from Classical Proofs, Ph.D. thesis, Cornell University, 1990.
Prawitz, D., Natural Deduction, Almqvist and Wiksell, Stockholm, 1965.
Reynolds, J. C., Towards theory of type structure, Paris Colloquium on Programming, LNCS 19, Springer-Verlag (1974), 408–425.
Author information
Authors and Affiliations
Editor information
Rights 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