Niccolò Veltrì

Normalization by Evaluation for the Lambek Calculus

2022 · Electronic Proceedings in Theoretical Computer Science

The syntactic calculus of Lambek is a deductive system for the multiplicative fragment of intuitionistic non-commutative linear logic. As a fine-grained calculus of resources, it has many applications, mostly in formal computational investigations of natural …