Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 11)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030665449, 9783030665456

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Morphisms of Rings

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_8 ◽

2021 ◽

pp. 271-298

Author(s):

Robert Paré

Download Full-text

Sheaf Representations and Duality in Logic

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_2 ◽

2021 ◽

pp. 39-57

Author(s):

Steve Awodey

Keyword(s):

Sheaf Representations

Download Full-text

The Sequent Calculus of Skew Monoidal Categories

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_11 ◽

2021 ◽

pp. 377-406

Author(s):

Tarmo Uustalu ◽

Niccolò Veltri ◽

Noam Zeilberger

Keyword(s):

Sequent Calculus ◽

Monoidal Categories

Download Full-text

Pregroup Grammars, Their Syntax and Semantics

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_10 ◽

2021 ◽

pp. 347-376

Author(s):

Mehrnoosh Sadrzadeh

Keyword(s):

Pregroup Grammars

Download Full-text

Extensions of Lambek Calculi

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_4 ◽

2021 ◽

pp. 105-134

Author(s):

Wojciech Buszkowski

Download Full-text

The Mathematics of Text Structure

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_6 ◽

2021 ◽

pp. 181-217

Author(s):

Bob Coecke

Keyword(s):

Download Full-text

Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_1 ◽

2021 ◽

pp. 1-37

Author(s):

V. Michele Abrusci ◽

Claudia Casadio

Keyword(s):

Linear Logic ◽

Download Full-text

Categories with Families: Unityped, Simply Typed, and Dependently Typed

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_5 ◽

2021 ◽

pp. 135-180

Author(s):

Simon Castellan ◽

Pierre Clairambault ◽

Peter Dybjer

Download Full-text

On the Naturalness of Mal’tsev Categories

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_3 ◽

2021 ◽

pp. 59-104

Author(s):

Dominique Bourn ◽

Marino Gran ◽

Pierre-Alain Jacqmin

Download Full-text

Aspects of Categorical Recursion Theory

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_7 ◽

2021 ◽

pp. 219-269

Author(s):

Pieter Hofstra ◽

Philip Scott

Keyword(s):

Recursion Theory

Download Full-text