Formalizing đťś‹-calculus in guarded cubical Agda
author
Veltri, Niccolo
Vezzosi, Andrea
statement of authorship
Niccolò Veltri, Andrea Vezzosi
source
CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2020
location of publication
New York
publisher
Association for Computing Machinery
year of publication
2020
pages
p. 270–283
conference name, date
9th ACM SIGPLAN International Conference on Certified Programs and Proofs : CPP 2020, January 20–21, 2020
conference location
New Orleans, USA
url
https://doi.org/10.1145/3372885.3373814
subject term
programmeerimiskeeled
semantika
keyword
ticked cubical type theory
denotational semantics
Ď€-calculus
guarded recursion
ISSN
0960-1295
ISBN
978-1-4503-7097-4
notes
Bibliogr.: 26 ref
TTÜ department
tarkvarateaduse instituut
language
inglise