- Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
Dialogue systems as proof editors.Aarne Ranta & Robin Cooper - 2004 - Journal of Logic, Language and Information 13 (2):225-240.details
|
|
Towards a Mathematical Science of Computation.J. Mccarthy, Cicely M. Popplewell, John Mccarthy & Wayne A. Kalenich - 1962 - Journal of Symbolic Logic 36 (2):346-347.details
|
|
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
|
|
Some Logical Aspects of Grammatical Structure.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4):341-341.details
|
|
a.A. A. (ed.) - 2015 - Universidad Técnica Particular de Loja.details
|
|
A Framework for Defining Logics.Robert Harper, Furio Honsell & G. Plotkin - 1991 - LFCS, Department of Computer Science, University of Edinburgh.details
|
|
Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.details
|
|
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven,: Yale University Press.details
|
|
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.details
|
|
Lambda Grammars and the Syntax-Semantics Interface.Reinhard Muskens - 2001 - In Robert Van Rooij & Martin Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium. Amsterdam: ILLC. pp. 150-155.details
|
|
Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.details
|
|