Language in action categories, lambdas and dynamic logic

Language in action categories, lambdas and dynamic logic

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Van Benthem, Johan
Format:	Book
Published:	Amsterdam MIT Press 1995
Subjects:	Lambda calculus Categorial grammar Language and logic
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Elements of sentence logic
by: Patterson, Wayne A., 1944-
Published: (2004)

Language in action categories, lambdas and dynamic logic
by: Van Benthem, Johan
Published: (1991)

The ecolinguistics reader language, ecology, and environment
Published: (2001)

'Ilm al-bi'ah al-lughawi al-Bahthu al-Tajribi fi 'alim al-Lughah al-Hadith
by: Louis, John
Published: (2009)

Functional categories
by: Musyken, Pieter
Published: (2008)

Aristotle's Categories and Propositions (De interpretatione)
by: Aristotle
Published: (1974)

Conceptual mathematics a first introduction to categories
by: Lawvere, F. W.
Published: (2009)

Algebra of proofs
by: Szabo, M. E
Published: (1978)

Modern algebra and the rise of mathmematics
by: Corry, Leo
Published: (1996)

A Genetic switch phage and higher organisms
by: Ptashne, Mark
Published: (1992)

An Introduction to English transformational syntax
by: Huddleston, Rodney
Published: (1976)

Categorization in the history of English
Published: (2004)

Rings and categories of modules
by: Anderson, Frank W. 1928- Frank Wylie
Published: (1992)

Category theory for computing science
by: Barr, Michael
Published: (1995)

Logic in games
by: Benthem, Johan van 1949-
Published: (2014)

Applied categorical and count data analysis
by: Tang, Wan
Published: (2012)

Computational category theory
by: Rydeheard, D. E. (David E
Published: (1988)

Linear representations of partially ordered sets and vector space categories
by: Simpson, Daniel
Published: (1992)

Virtual topology and functor geometry
by: Oystaeyen, F. Van 1947-
Published: (2008)

Language typology and syntactic description
Published: (2007)

Logic, language and reasoning essays in honour
Published: (1999)

Meaning and argument an introduction to logic through language
by: LePore, Ernest 1950-
Published: (2009)

Meaning and argument an introduction to logic through language
by: Lepore, Ernest
Published: (2000)

Logic programming languages constraints, functions, and objects
Published: (1993)

Deductive logic and descriptive language
by: Harrison, Frank R 1935
Published: (1969)

Logic, language, and composition
by: Willis, Hulon
Published: (1975)

Categorical methods in computer science with aspects from topology
Published: (1989)

Categorical methods in computer science with aspects from topology
Published: (1989)

Learning language in logic
Published: (2000)

Language, logic, and mathematics
by: Kilmister, C. W. Clive William
Published: (1967)

Dreams of calculus perspectives on mathematics education
by: Hoffman, Johan
Published: (2004)

From a logical point of view 9 logico-philosophical essays
by: Quine, Willard Van Orman
Published: (1980)

Logics
by: Nolt, John
Published: (1997)

Becoming logical an introduction to logic
by: Churchill, Robert Paul
Published: (1986)

Logic and declarative language
by: Downward, Michael
Published: (1998)

Logic and declarative language
by: Downward, Michael
Published: (1998)

The chain of logic
by: Engel, S.Morris 1931
Published: (1987)

Informal logic
by: Copi, Irving M
Published: (1986)

Logic and controversy
by: Stanley, Maurice 1945-
Published: (2002)

Cannot write session to /tmp/vufind_sessions/sess_jjv6s2e992fo9movb1cvt7b0pk