prindi

Modal embeddings and calling paradigms

autor
Santo, José Espírito
Pinto, Luís
Uustalu, Tarmo
vastutusandmed
José Espírito Santo, Luís Pinto, Tarmo Uustalu
allikas
Days in Logic 2022 : Universidade do Algrave, June 30-July 2, 2022
ilmumiskoht
Faro
kirjastus/väljaandja
Universidade do Algrave
ilmumisaasta
2022
leheküljed
20 p
konverentsi nimetus, aeg
Days in Logic 2022, June 30-July 2, 2022
konverentsi toimumispaik
Universidade do Algrave
leitav
https://drops.dagstuhl.de/opus/volltexte/2019/10525/pdf/LIPIcs-FSCD-2019-18.pdf
https://daysinlogic2022.ualg.pt/wp-content/uploads/2022/06/BookletDiL2022.pdf
märksõna
paradigmad
manussüsteemid
standardimine
võtmesõna
intuitionistic S4
call-by-name
call-by-value
comonadic lambda-calculus
standardization
indifference property
märkused
Bibliogr.: 16 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
5.2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Santo, J.E., Luis, P., Uustalu, T. Modal embeddings and calling paradigms // Days in Logic 2022 : Universidade do Algrave, June 30-July 2, 2022. Faro : Universidade do Algrave, 2022. 20 p. https://drops.dagstuhl.de/opus/volltexte/2019/10525/pdf/LIPIcs-FSCD-2019-18.pdf https://daysinlogic2022.ualg.pt/wp-content/uploads/2022/06/BookletDiL2022.pdf