Formalizing đťś‹-calculus in guarded cubical Agda
autor
Veltri, Niccolo
Vezzosi, Andrea
vastutusandmed
Niccolò Veltri, Andrea Vezzosi
allikas
CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2020
ilmumiskoht
New York
kirjastus/väljaandja
ACM
ilmumisaasta
2020
leheküljed
p. 270–283
konverentsi nimetus, aeg
9th ACM SIGPLAN International Conference on Certified Programs and Proofs : CPP 2020, January 20–21, 2020
konverentsi toimumispaik
New Orleans, USA
leitav
https://doi.org/10.1145/3372885.3373814
märksõna
programmeerimiskeeled
semantika
võtmesõna
ticked cubical type theory
denotational semantics
Ď€-calculus
guarded recursion
ISSN
0960-1295
ISBN
978-1-4503-7097-4
märkused
Bibliogr.: 26 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise