Towards normalization by evaluation for Lambek Calculus

statement of authorship
Niccolo Veltri
year of publication
pages
4 p
conference name, date
32nd Nordic Workshop on Programming Theory, NWPT 2021, 4-6 November, 2021
conference location
Reykjavik, Iceland
notes
Bibliogr.: 14 ref
classifier
5.2
TTÜ department
language
inglise
Veltri, N. Towards normalization by evaluation for Lambek Calculus // 32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021., 2021. 4 p. http://icetcs.ru.is/nwpt21/abstracts/paper34.pdf http://icetcs.ru.is/nwpt21/programme.html