Normalization by evaluation for the lambek calculus

DOI10.4204/eptcs.358.8MaRDI QIDQ6659901

Niccolò Veltri

Publication date: 9 January 2025

Mathematics Subject Classification ID

General logic (03Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Glueing and orthogonality for models of linear logic
• Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7--9, 2004. Proceedings.
• The Mathematics of Sentence Structure
• Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
• Non‐commutative intuitionistic linear logic
• Proof Nets for Lambek Calculus
• Focused Natural Deduction
• Categorical reconstruction of a reduction free normalization proof
• Deductive systems and categories

This page was built for publication: Normalization by evaluation for the lambek calculus