scientific article; zbMATH DE number 1418441

zbMATH Open0947.03049MaRDI QIDQ4941996

Joachim Lambek

Publication date: 7 November 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

surveycategoriesexactnesshomological algebrakinshiplinguisticspartial recursive functionscategorial grammaranthropologysyntactic calculusconnecting homomorphismcyclic linear logicapplications of the calculus of binary relationscousinhood in the Trobriandsmodels of bilinear logicrecursively enumerable binary relations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Recursive functions and relations, subrecursive hierarchies (03D20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other classical set theory (including functions, relations, and set algebra) (03E20) Homological algebra in category theory, derived categories and functors (18G99) Mathematical sociology (including anthropology) (91D99) Other applications of logic (03B80)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4941996)