Normalization by evaluation for the Lambek calculus

vastutusandmed
Niccolo Veltri
allikas
10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 2022
ilmumisaasta
leheküljed
p. 102-117
konverentsi nimetus, aeg
10th International Conference on Non-classical Logic, 14-18 March 2022
konverentsi toimumispaik
Lodz, Poland
kvartiil
Q3
kategooria (üld)
kategooria (alam)
ISSN
2075-2180
märkused
Bibliogr.: 24 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
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