Formalizing 𝜋-calculus in guarded cubical Agda-Reference-Cited by-同舟云学术

Formalizing 𝜋-calculus in guarded cubical Agda

Published:2020-01-20 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

Veltri Niccolò¹,Vezzosi Andrea²

Affiliation:

1. Tallinn University of Technology, Estonia

2. IT University of Copenhagen, Denmark

Funder

Villum Fonden

European Social Fund

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3372885.3373814

Reference26 articles.

1. Jesper Bengtson and Joachim Parrow. 2009. Formalising the pi-calculus using nominal logic. Logical Methods in Computer Science Volume 5 Issue 2 (June 2009). 10.2168/LMCS-5(2:16)2009 Jesper Bengtson and Joachim Parrow. 2009. Formalising the pi-calculus using nominal logic. Logical Methods in Computer Science Volume 5 Issue 2 (June 2009). 10.2168/LMCS-5(2:16)2009

2. Guarded Cubical Type Theory

3. First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees

4. Guarded Dependent Type Theory with Coinductive Types

5. Gian Luca Cattani. 1999. Presheaf Models for Concurrency. Ph.D. Dissertation. University of Aarhus. Gian Luca Cattani. 1999. Presheaf Models for Concurrency. Ph.D. Dissertation. University of Aarhus.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Internal and Observational Parametricity for Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05

2. LπCET: A Logic Security Analysis for Cryptographic Protocols Based on π‐Calculus Extension Theory;IET Information Security;2024-01

3. Formalizing CCS and π-calculus in Guarded Cubical Agda;Journal of Logical and Algebraic Methods in Programming;2023-02

4. A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems;Artificial General Intelligence;2023

5. A totally predictable outcome: an investigation of traversals of infinite structures;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06