Language in action : categories, lambdas and dynamic logic
Johan van Benthem
Bok Engelsk 1991
Utgitt | Amsterdam : North-Holland , 1991
|
---|---|
Omfang | x, 349 s. : fig.
|
Emner | Categorial grammar
Lambda calculus Language and logic Logic, Symbolic and mathematical Vis mer... Mathematical linguistics
Kategorialgrammatikk Lambda-kalkyle Logikk Matematisk lingvistikk Matematisk logikk - Databehandling Naturlig språkforståelse (Datamaskiner) Typeteori (Logikk) Typeteori : (NO-TrBIB)HUME00726 kategorialgrammatikk typeteori logikk lambda-kalkyle |
ISBN | 0444890009
|