Language in Action: Categories, Lambdas, and Dynamic Logic by Johan van Benthem
Language in Action: Categories, Lambdas, and Dynamic Logic

Johan van Benthem

Language in Action: Categories, Lambdas, and Dynamic Logic

Studies in Logic and the Foundations of Mathematics, Volume 146

Johan van Benthem

377 pages first pub 1991 (view editions)

nonfiction art computer science design medium-paced
Powered by AI (Beta)
Loading...

Description

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory pres...

Read more

Community Reviews

Loading...

Content Warnings

Loading...