Language in Action, Volume 130: Categories, Lambdas and Dynamic Logic by J. Van Benthem

Language in Action, Volume 130: Categories, Lambdas and Dynamic Logic

Studies in Logic and the Foundations of Mathematics, Volume 146

J. Van Benthem

348 pages missing pub info (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...