Normalization by evaluation for the Lambek calculus
author
statement of authorship
Niccolo Veltri
source
10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 2022
year of publication
pages
p. 102-117
conference name, date
10th International Conference on Non-classical Logic, 14-18 March 2022
conference location
Lodz, Poland
ISSN
2075-2180
notes
Bibliogr.: 24 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
WOS
quartile
classifier
category (general)
category (sub)
Reserch Group
Veltri, N. Normalization by evaluation for the Lambek calculus // 10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 2022., 2022. p. 102-117. (Electronic proceedings in theoretical computer science ; 358). https://doi.org/10.4204/eptcs.358.8 https://arxiv.org/abs/2204.06719v1