Formalizing πœ‹-calculus in guarded cubical Agda

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
ACM
year of publication
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
ISSN
0960-1295
ISBN
978-1-4503-7097-4
notes
Bibliogr.: 26 ref
TTÜ department
language
inglise
Veltri, N., Vezzosi, A. Formalizing πœ‹-calculus in guarded cubical Agda // CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2020. New York : ACM, 2020. p. 270–283. https://doi.org/10.1145/3372885.3373814