Two Guarded Recursive Powerdomains for Applicative Simulation

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings 37th Conference on Mathematical Foundations of Programming Semantics
Volume	351
Publisher	Electronic Proceedings in Theoretical Computer Science
Publication date	Dec 2021
Pages	200-217
DOIs	https://doi.org/10.4204/EPTCS.351.13
Publication status	Published - Dec 2021

Access to Document

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 Foundation
22/01/2016 → 21/01/2022
Project: Research

@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. Vol. 351 Electronic Proceedings in Theoretical Computer Science, 2021. p. 200-217.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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 -