Formalizingπ-calculus in guarded cubical agda

vastutusandmed
Niccol`o Veltri, and Andrea Vezzosi
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
3 p
konverentsi nimetus, aeg
26th International Conference on Types for Proofs and Programs TYPES 2020, March 2–5, 2020
konverentsi toimumispaik
Turin, Italy
ISSN
1868-8969
ISBN
9783959771825
märkused
Bibliogr.: 14 ref
TTÜ struktuuriüksus
keel
inglise
Veltri, N., Vezzosi, A. Formalizingπ-calculus in guarded cubical agda // EUTYPES-TYPES 2020 : Abstracts. Saarbrücken/Wadern : Dagstuhl Publishing, 2020. 3 p. (Leibniz international proceedings in informatics (LIPIcs) ; 188). https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf