Normalization by evaluation for the Lambek calculus
autor
Veltri, Niccolo
vastutusandmed
Niccolo Veltri
allikas
10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 2022
ilmumisaasta
2022
leheküljed
p. 102-117
seeria-sari
Electronic proceedings in theoretical computer science ; 358
konverentsi nimetus, aeg
10th International Conference on Non-classical Logic, 14-18 March 2022
konverentsi toimumispaik
Lodz, Poland
leitav
https://doi.org/10.4204/eptcs.358.8
https://arxiv.org/abs/2204.06719v1
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q3
kategooria (üld)
Computer science
en
Arvutiteadus
et
kategooria (alam)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
ISSN
2075-2180
märkused
Bibliogr.: 24 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium