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
WOS
kvartiil
category (general)
category (sub)
ISSN
2075-2180
notes
Bibliogr.: 24 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Uurimisrühm
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).