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
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85130481431&origin=inward&txGid=9db9425652c39ba1091c90c5381e4c37
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001045096000008
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
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