prindi

Formalizing 𝜋-calculus in guarded cubical Agda

autor
Veltri, Niccolo
Vezzosi, Andrea
vastutusandmed
Niccolò Veltri, Andrea Vezzosi
allikas
CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020
ilmumiskoht
New York
kirjastus/väljaandja
Association for Computing Machinery
ilmumisaasta
2020
leheküljed
p. 270-283
konverentsi nimetus, aeg
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, co-located with POPL 2020, 20-21 January 2020
konverentsi toimumispaik
New Orleans, USA
leitav
https://doi.org/10.1145/3372885.3373814
märksõna
programmeerimiskeeled
semantika
programmeerimine
võtmesõna
denotational semantics
guarded recursion
ticked cubical type theory
π-calculus
ISBN
978-145037097-4
märkused
Bibliogr.: 26 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
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, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020. New York : Association for Computing Machinery, 2020. p. 270-283. https://doi.org/10.1145/3372885.3373814