Formalizing πœ‹-calculus in guarded cubical Agda

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
ilmumisaasta
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
ISSN
0960-1295
ISBN
978-1-4503-7097-4
märkused
Bibliogr.: 26 ref
TTÜ struktuuriüksus
keel
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 : Association for Computing Machinery, 2020. p. 270–283. https://doi.org/10.1145/3372885.3373814