Normalization by evaluation for the lambek calculus
From MaRDI portal
Publication:6659901
DOI10.4204/EPTCS.358.8MaRDI QIDQ6659901FDOQ6659901
Authors: Niccolò Veltri 
Publication date: 9 January 2025
Cites Work
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
- Categorical reconstruction of a reduction free normalization proof
- The Mathematics of Sentence Structure
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deductive systems and categories
- Proof Nets for Lambek Calculus
- Glueing and orthogonality for models of linear logic
- Title not available (Why is that?)
- Non‐commutative intuitionistic linear logic
- Title not available (Why is that?)
- Focused natural deduction
- Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7--9, 2004. Proceedings.
This page was built for publication: Normalization by evaluation for the lambek calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659901)
