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

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

Bibliographic Details
Main Author:	Benthem, Johan van, 1949-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : North-Holland ; 1991.
Series:	Studies in logic and the foundations of mathematics ; v. 130.
Subjects:	Language and logic. Categorial grammar. Lambda calculus. Logic, Symbolic and mathematical. Mathematical linguistics.

Similar Items

Language & grammar : studies in mathematical linguistics and natural language /
Published: (2005)

Logic, language, and computation /
Published: (1996)

Label-selective [lambda]-calculus /
by: Aït-Kaci, Hassan, 1954-
Published: (1993)

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)

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

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

Logics for linguistic structures /
Published: (2008)

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

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

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

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

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

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

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

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

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

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

Purity, spectra and localisation /
by: Prest, Mike
Published: (2009)

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

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 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)

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

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

Relations formelles et non formelles /
Published: (1993)

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

Journal of logic, language, and information.

Alfred Tarski : philosophy of language and logic /
by: Patterson, Douglas
Published: (2012)

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

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

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

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)

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

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