Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
119.12 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10427628
Beschreibung
Chapter 1. Introduction (Joachim Lambek).- Chapter 2. Lambek's Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets (Michele Abrusci).- Chapter 3. Sheaf Representations and Duality in Logic (Steve Awodey).- Chapter 4. On the naturalness of Maltsev categories (D. Bourn).- Chapter 5. Extensions of Lambek Calculi (Wojciech Buszkowski).- Chapter 6. Categories with Families: Unityped, Simply Typed, and Dependently Typed (Simon Castellan).- Chapter 7. The Mathematics of Text Structure (Bob Coecke).- Chapter 8. Aspects of Categorical Recursion Theory (Pieter Hofstra).- Chapter 9. Pomset logic: another approach to non commutativity in logic (Christian Retoré).- Chapter10. Morphisms of Rings (Robert Paré).- Chapter 11. Pregroup Grammars, their Syntax and Semantics (Mehrnoosh Sadrzadeh).- Chapter 12. The Sequent Calculus of Skew Monoidal Categories (Tarmo Uustalu).
Eigenschaften
Breite: | 155 |
Gewicht: | 857 g |
Höhe: | 235 |
Seiten: | 432 |
Sprachen: | Englisch |
Autor: | Claudia Casadio, Philip J. Scott |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen