Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where
all things start (…) An-Fang was near a city, the only living city with a pre-atomic name (…) …

This book is intended for students in computer science, formal linguistics, mathematical logic
and to colleagues interested in categorial grammars and their logical foundations. These …

Linear logic and the linear {\lambda}-calculus have a long standing tradition in the study of
natural language form and meaning. Among the proof calculi of linear logic, proof nets are of …

THIS book concludes five years of research into the linguistic applications of proof nets.
While mostly self-contained, people already familiar with either linear logic or Lambek …

Proofs Without Syntax [Hughes, DJD Proofs Without Syntax. Annals of Mathematics 2006 (to
appear), http://arxiv. org/abs/math/0408282 (v3). August 2004 submitted version also …

Simple free star-autonomous categories and full coherence Page 1 Journal of Pure and
Applied Algebra 216 (2012) 2386–2410 Contents lists available at SciVerse ScienceDirect …

We study the relationship between proof nets for mutiplicative linear logic (with unbounded
fan-in logical connectives) and Boolean circuits. We give simulations of each other in the …

Type-logical grammars use a foundation of logic and type theory to model natural language.
These grammars have been particularly successful giving an account of several well-known …

Proof nets for MLL (unit-free multiplicative linear logic) and ALL (unit-free additive linear
logic) are graphical abstractions of proofs which are efficient (proofs translate in linear time) …

This thesis develops the categorical proof theory for the non-compact multiplicative dagger
linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM). The …