Normalization by evaluation for the Lambek calculus
Veltri, Niccolo
10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 2022
2022
/
p. 102-117
https://doi.org/10.4204/eptcs.358.8
https://arxiv.org/abs/2204.06719v1
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85130481431&origin=inward&txGid=9db9425652c39ba1091c90c5381e4c37
https://www.webofscience.com/wos/woscc/full-record/WOS:001045096000008