Language in action : categories, lambdas, and dynamic logic /

Constructive logics /
by: Gallier, Jean H.
Published: (1991)

The genericity theorem and the notion of parametricity in the polymorphic [lambda]-calculus /
by: Longo, G. Giuseppe
Published: (1992)

Lambda-calculus, types and models /
by: Krivine, J. L. (Jean Louis)
Published: (1993)

The pragmatics and semiotics of standard languages /
by: Sweet, Albert M.
Published: (1988)

The lambda calculus : its syntax and semantics /
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1984)

Lambda-calculus and combinators, an introduction /
by: Hindley, J. Roger
Published: (2008)

Introduction to combinators and [lambda]-calculus /
by: Hindley, J. Roger
Published: (1986)

Quantifiers, logic, and language /
Published: (1996)

Sets, logic, and categories /
by: Cameron, Peter J. (Peter Jephson), 1947-
Published: (1999)

Two-level functional languages /
by: Nielson, Flemming, 1955-
Published: (1992)

Journal of logic, language, and information.
Published: (1992)

Language, thought and reference /
by: Powell, George, 1967-
Published: (2010)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Published: (1984)

Logic and philosophy for linguists : a book of readings /
Published: (1974)

Words, proofs, and diagrams /
Published: (2002)

Logical perspectives on language and information /
Published: (2001)

The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, Johan
Published: (1991)

Logic and representation /
by: Moore, Robert C., 1948-
Published: (1995)

The Logic of Language.
by: Seuren, Pieter A. M.
Published: (2009)

Everything that linguists have always wanted to know about logic but were ashamed to ask /
by: McCawley, James D.
Published: (1981)

Foundations of logico-linguistics : a unified theory of information, language, and logic /
by: Cooper, William S.
Published: (1978)

Contemporary research in philosophical logic and linguistic semantics : proceedings of a conference held at the University of Western Ontario, London, Canada /
Published: (1975)

The logic of plurality /
by: Altham, J. E. J. (James Edward John)
Published: (1971)

The language trap, or How to defend yourself against the tyranny of words /
by: Engel, S. Morris, 1931-
Published: (1984)

Language and logics : an introduction to the logical foundations of language /
by: Gregory, Howard, 1960-
Published: (2015)

Automation in language translation and theorem proving. : Some applications of mathematical logic /
Published: (1968)

Grammar, geometry, & brain /
by: Fenstad, Jens Erik
Published: (2010)

Relations formelles et non formelles /
Published: (1993)

Toposes, algebraic geometry and logic /
Published: (1972)

Towards a general theory of classifications /
by: Parrochia, Daniel, 1951-
Published: (2013)

An introduction to category theory /
by: Simmons, Harold
Published: (2011)

An introduction to transformational grammars.
by: Bach, Emmon W., 1929-
Published: (1964)

Proofs and types /
by: Girard, Jean-Yves
Published: (1989)

The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)

Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)

Logic in linguistics /
by: Allwood, Jens S., 1947-
Published: (1977)