On the Lambek Calculus with an Exchange Modality

Reference. On the Lambek Calculus with an Exchange Modality

Cite

Cite as @depaiva-eades-jiang-2019-lambek-exchange (helia, typst) · \cite{depaiva-eades-jiang-2019-lambek-exchange} (LaTeX)

BibTeX

bibtex · 13 lines

@article{depaiva-eades-jiang-2019-lambek-exchange,
 title = {On the {Lambek} {Calculus} with an {Exchange} {Modality}},
 author = {Jiang, Jiaming and Eades III, Harley and de Paiva, Valeria},
 year = {2019},
 eprint = {1904.06847},
 archiveprefix = {arXiv},
 primaryclass = {cs.LO},
 url = {https://arxiv.org/abs/1904.06847},
 journal = {Electronic Proceedings in Theoretical Computer Science},
 volume = {292},
 pages = {43--89},
 doi = {10.4204/EPTCS.292.4}
}

hayagriva YAML (typst)

yaml · 19 lines

depaiva-eades-jiang-2019-lambek-exchange:
  type: article
  title: On the {Lambek} {Calculus} with an {Exchange} {Modality}
  author:
  - Jiang, Jiaming
  - Eades III, Harley
  - name: Paiva
    given-name: Valeria
    prefix: de
  date: 2019
  page-range: 43-89
  url: https://arxiv.org/abs/1904.06847
  serial-number:
    arxiv: '1904.06847'
    doi: 10.4204/EPTCS.292.4
  parent:
    type: periodical
    title: Electronic Proceedings in Theoretical Computer Science
    volume: 292

Download: depaiva-eades-jiang-2019-lambek-exchange.bib · depaiva-eades-jiang-2019-lambek-exchange.yml

Cites 20 works (2 here)

With notes (2)

Dialectica Categories for the Lambek Calculus depaiva2018-dialectica-lambekLFCS · 2018

DOI · arXiv

The mathematics of sentence structure lambek58Amer. Math. Monthly · 1958

DOI

External (18)

Linear Exponential Comonads without Symmetry (2017)
An exact correspondence between a typed pi-calculus and polarised proof-nets (2010)
A Brief Overview of Agda - A Functional Language with Dependent Types (2009)
CATEGORICAL SEMANTICS OF LINEAR LOGIC (2009)
Comparing hierarchies of types in models of linear logic (2004)
Types as processes, via Chu spaces (1997)
Linear logic, monads and the lambda calculus (1996)
Models for the Lambek Calculus (1995)
Proofs as processes (1994)
A mixed linear and non-linear logic: Proofs, terms and models (preliminary report) (1994)
On Intuitionistic Linear Logic (1993)
Proof Figures and Structural Operators for Categorial Grammar (1991)
The Dialectica categories (1990)
The grammar and processing of order and dependency : a categorial approach (1990)
Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus (1988)
Categorial Grammars and Natural Language Structures (1988)
Doctrinal adjunction (1974)
Strong functors and monoidal monads (1972)