Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Church, A. 1932. A set of postulates for the foundations of mathematics. Ann. of Math. (2), 33: 346–366.
Church, A. & Rosser, J.B. 1936. Some properties of conversion. Trans. Amer. Math. Soc. 39: 472–482
Curry, H. & Feys, R. 1958. Combinatory Logic. North Holland, Amsterdam.
Dedekind, R. 1888. Was sind und was sollen die Zahlen? Brunswick.
Gentzen, G. 1934. Untersuchungen uber das logische Schlussen, Mathematische Zeitschrift 39: 176–210, 405–431.
Girard, J.-Y. 1970. Une extension de l'interpretation de Godel a l'analyse et la theorie des types. Proc of the Second Scandanavian Logic Symposium, ed. J.E. Fenstad. North Holland, Amsterdam. 1971. 63–92.
Godel, K. 1932–3. Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines math. Koll. Heft 4. 34–38.
Martin-Lof, P. 1970. Hauptsatz for the theory of species. Proc of the Second Scandanavian Logic Symposium, ed. J.E. Fenstad. North Holland, Amsterdam. 1971. 217–233.
Prawitz, D. 1965. Natural Deduction. Almqvist and Wiksell. Stockholm.
_____. 1968. Some results for intuitionistic logic with second order quantification rules. Intuitionism and Proof Theory. eds. A. Kino, J. Myhill, R.E. Vesley. North Holland, Amsterdam. 1970.
_____. 1970. Ideas and results of proof theory. Proc of the Second Scandinavian Logic Symposium, ed. J.E. Fenstad. North Holland, Amsterdam. 1971. 235–307.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Tait, W.W. (1975). A realizability interpretation of the theory of species. In: Parikh, R. (eds) Logic Colloquium. Lecture Notes in Mathematics, vol 453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0064875
Download citation
DOI: https://doi.org/10.1007/BFb0064875
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07155-6
Online ISBN: 978-3-540-37483-1
eBook Packages: Springer Book Archive