- Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.details
|
|
(1 other version)An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.details
|
|
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.details
|
|
Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics.Jaakko Hintikka, Kaarlo Jaakko Juhani Hintikka & J. Kulas - 1985 - Springer.details
|
|
(1 other version)Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.details
|
|
(1 other version)The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.details
|
|
A theory of truth and semantic representation, 277-322, JAG Groenendijk, TMV Janssen and MBJ Stokhof, eds.H. Kamp - 1981 - In Jeroen A. G. Groenendijk (ed.), Formal methods in the study of language. U of Amsterdam.details
|
|
A Theory of Truth and Semantic Representation.Hans Kamp - 2002 - In Paul H. Portner & Barbara H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.details
|
|
(2 other versions)Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
Constructive generalized quantifiers.Göran Sundholm - 1989 - Synthese 79 (1):1 - 12.details
|
|
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.details
|
|
(1 other version)The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
The calculus of constructions.Thierry Coquand & Gerard Huet - 1988 - Information And Computation 76 (2-3):95--120.details
|
|
Programming in Martin-Löf’s Type Theory: An Introduction.Bengt Nordström, Kent Petersson & Jan M. Smith - 1990 - Clarendon Press.details
|
|
Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge,: Harvard University Press. pp. 1-83.details
|
|
(2 other versions)Intuitionism.A. Heyting - 1971 - Amsterdam,: North-Holland Pub. Co..details
|
|
A Framework for Defining Logics.Robert Harper, Furio Honsell & Gordon Plotkin - 1987 - LFCS, Department of Computer Science, University of Edinburgh.details
|
|
(1 other version)An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In H. E. Rose & J. C. Shepherdson (eds.), Logic Colloquium ’73 Proceedings of the Logic Colloquium. Elsevier. pp. 73--118.details
|
|