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
märksõna
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 : ACM, 2020. p. 270β283.