Conference
Formalizing 𝜋-calculus in guarded cubical Agda
| Τίτλος: | Formalizing 𝜋-calculus in guarded cubical Agda |
|---|---|
| Συγγραφείς: | Veltri, Niccolò, Vezzosi, Andrea |
| Πηγή: | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. :270-283 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3372885.3373814 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3372885.3373814 |
|---|