Normalization by evaluation for the lambek calculus
From MaRDI portal
Cites work
- Categorical reconstruction of a reduction free normalization proof
- Deductive systems and categories
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
- Focused natural deduction
- Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7--9, 2004. Proceedings.
- Glueing and orthogonality for models of linear logic
- scientific article; zbMATH DE number 1342281 (Why is no real title available?)
- scientific article; zbMATH DE number 1342286 (Why is no real title available?)
- scientific article; zbMATH DE number 512773 (Why is no real title available?)
- scientific article; zbMATH DE number 3316072 (Why is no real title available?)
- Non‐commutative intuitionistic linear logic
- Proof Nets for Lambek Calculus
- The Mathematics of Sentence Structure
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)
