Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642547881, 9783642547898

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Note on Multidimensional Dyck Languages

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_16 ◽

2014 ◽

pp. 279-296 ◽

Author(s):

Michael Moortgat

Download Full-text

Semantic Unification

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_1 ◽

2014 ◽

pp. 1-13 ◽

Author(s):

Samson Abramsky ◽

Mehrnoosh Sadrzadeh

Keyword(s):

Semantic Unification

Download Full-text

On Residuation

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_2 ◽

2014 ◽

pp. 14-27 ◽

Author(s):

V. Michele Abrusci

Download Full-text

Chasing Diagrams in Cryptography

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_19 ◽

2014 ◽

pp. 353-367 ◽

Author(s):

Dusko Pavlovic

Download Full-text

A Logical Basis for Quantum Evolution and Entanglement

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_6 ◽

2014 ◽

pp. 90-107 ◽

Author(s):

Richard F. Blute ◽

Alessio Guglielmi ◽

Ivan T. Ivanov ◽

Prakash Panangaden ◽

Lutz Straßburger

Keyword(s):

Quantum Evolution ◽

Download Full-text

Abstract Tensor Systems as Monoidal Categories

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_13 ◽

2014 ◽

pp. 235-252 ◽

Author(s):

Aleks Kissinger

Keyword(s):

Monoidal Categories

Download Full-text

A Categorial Type Logic

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_18 ◽

2014 ◽

pp. 331-352 ◽

Author(s):

Glyn Morrill

Download Full-text

Multi-Sorted Residuation

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_8 ◽

2014 ◽

pp. 136-155 ◽

Author(s):

Wojciech Buszkowski

Download Full-text

On Canonical Embeddings of Residuated Groupoids

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_14 ◽

2014 ◽

pp. 253-267 ◽

Author(s):

Mirosława Kołowska-Gawiejnowicz

Download Full-text

Distributional Semantics: A Montagovian View

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_5 ◽

2014 ◽

pp. 63-89

Author(s):

Raffaella Bernardi

Keyword(s):

Distributional Semantics

Download Full-text