Two Guarded Recursive Powerdomains for Applicative Simulation

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings 37th Conference on Mathematical Foundations of Programming Semantics
Vol/bind	351
Forlag	Electronic Proceedings in Theoretical Computer Science
Publikationsdato	dec. 2021
Sider	200-217
DOI	https://doi.org/10.4204/EPTCS.351.13
Status	Udgivet - dec. 2021

Adgang til dokumentet

Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
Villum Fonden
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning

@inproceedings{5179a55e5c0b418b85fcc9300e8f1361,

title = "Two Guarded Recursive Powerdomains for Applicative Simulation",

author = "M{\o}gelberg, \{Rasmus Ejlers\} and Andrea Vezzosi",

year = "2021",

month = dec,

doi = "10.4204/EPTCS.351.13",

language = "English",

volume = "351",

pages = "200--217",

booktitle = "Proceedings 37th Conference on Mathematical Foundations of Programming Semantics",

publisher = "Electronic Proceedings in Theoretical Computer Science",

}

Two Guarded Recursive Powerdomains for Applicative Simulation. / Møgelberg, Rasmus Ejlers; Vezzosi, Andrea.
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. Bind 351 Electronic Proceedings in Theoretical Computer Science, 2021. s. 200-217.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Two Guarded Recursive Powerdomains for Applicative Simulation

AU - Møgelberg, Rasmus Ejlers

AU - Vezzosi, Andrea

PY - 2021/12

Y1 - 2021/12

U2 - 10.4204/EPTCS.351.13

DO - 10.4204/EPTCS.351.13

M3 - Article in proceedings

VL - 351

SP - 200

EP - 217

BT - Proceedings 37th Conference on Mathematical Foundations of Programming Semantics

PB - Electronic Proceedings in Theoretical Computer Science

ER -