Formalizing π-calculus in guarded cubical Agda
author
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
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
subject term
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 : Association for Computing Machinery, 2020. p. 270β283.