Modal embeddings and calling paradigms
author
Santo, José Espírito
Pinto, Luís
Uustalu, Tarmo
statement of authorship
José Espírito Santo, Luís Pinto, Tarmo Uustalu
source
Days in Logic 2022 : Universidade do Algrave, June 30-July 2, 2022
location of publication
Faro
publisher
Universidade do Algrave
year of publication
2022
pages
20 p
conference name, date
Days in Logic 2022, June 30-July 2, 2022
conference location
Universidade do Algrave
url
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
subject term
paradigmad
manussüsteemid
standardimine
keyword
intuitionistic S4
call-by-name
call-by-value
comonadic lambda-calculus
standardization
indifference property
notes
Bibliogr.: 16 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
5.2
TalTech department
tarkvarateaduse instituut
language
inglise