Switch to: Citations

Add references

You must login to add references.
  1. Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge,: Harvard University Press. pp. 1-83.
    Download  
     
    Export citation  
     
    Bookmark   165 citations  
  • Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.
    Download  
     
    Export citation  
     
    Bookmark   119 citations  
  • Programming in Martin-Löf’s Type Theory: An Introduction.Bengt Nordström, Kent Petersson & Jan M. Smith - 1990 - Clarendon Press.
    In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Constructive generalized quantifiers.Göran Sundholm - 1989 - Synthese 79 (1):1 - 12.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.
    Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf''s Constructive Type Theory by interpreting games as types of Myself''s winning strategies. The philosophical ideas behind Game-Theoretical Semantics in fact highly recommend restricting strategies to effective ones, which is the only controversial step in our interpretation. What is gained, then, is a direct connection between linguistic semantics and computer programming.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
    Download  
     
    Export citation  
     
    Bookmark   159 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • A Framework for Defining Logics.Robert Harper, Furio Honsell & G. Plotkin - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics.Jaakko Hintikka, Kaarlo Jaakko Juhani Hintikka & J. Kulas - 1985 - Springer.
    I n order to appreciate properly what we are doing in this book it is necessary to realize that our approach to linguistic theorizing differs from the prevailing views. Our approach can be described by indicating what distinguishes it from the methodological ideas current in theoretical linguistics, which I consider seriously misguided. Linguists typically construe their task in these days as that of making exceptionless generalizations from particular examples. This explanatory strategy is wrong in several different ways. It presupposes that (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
    Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...)
    Download  
     
    Export citation  
     
    Bookmark   317 citations  
  • An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • A theory of truth and semantic representation, 277-322, JAG Groenendijk, TMV Janssen and MBJ Stokhof, eds.H. Kamp - 1981 - In Jeroen Groenendijk (ed.), Formal Methods in the Study of Language. U of Amsterdam.
    Download  
     
    Export citation  
     
    Bookmark   106 citations  
  • The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   401 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • The calculus of constructions.Thierry Coquand & Gerard Huet - 1988 - Information And Computation 76 (2-3):95--120.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • A Theory of Truth and Semantic Representation.Hans Kamp - 1981 - In P. Portner & B. H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
    Download  
     
    Export citation  
     
    Bookmark   397 citations  
  • Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.
    Download  
     
    Export citation  
     
    Bookmark   241 citations