Normalization by evaluation for the Lambek calculusVeltri, Niccolo10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 20222022 / p. 102-117 https://doi.org/10.4204/eptcs.358.8 https://arxiv.org/abs/2204.06719v1 Conference Proceedings at Scopus Article at Scopus Article at WOS