Publication:3413927

zbMath1114.03012MaRDI QIDQ3413927

Eike Ritter, V. C. V. de Paiva

Publication date: 19 December 2006

Full work available at URL: https://eudml.org/doc/127560

zbMATH Keywords

linear logic; natural deduction; Curry-Howard isomorphism; lambda-mu calculus

Mathematics Subject Classification ID

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03B40: Combinatory logic and lambda calculus

Related Items

Symmetric categorial grammar