Towards normalization by evaluation for Lambek Calculus
autor
Veltri, Niccolo
vastutusandmed
Niccolo Veltri
allikas
32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021
ilmumisaasta
2021
leheküljed
4 p
konverentsi nimetus, aeg
32nd Nordic Workshop on Programming Theory, NWPT 2021, 4-6 November, 2021
konverentsi toimumispaik
Reykjavik, Iceland
leitav
http://icetcs.ru.is/nwpt21/abstracts/paper34.pdf
http://icetcs.ru.is/nwpt21/programme.html
märksõna
matemaatika
matemaatiline loogika
märkused
Bibliogr.: 14 ref
klassifikaator
5.2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise