Two Guarded Recursive Powerdomains for Applicative Simulation

Rasmus Ejlers Møgelberg; Andrea Vezzosi

doi:10.4204/EPTCS.351.13

Two Guarded Recursive Powerdomains for Applicative Simulation

Rasmus Ejlers Møgelberg
, Andrea Vezzosi

Programming Logic and Semantics

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
Event	Conference on Mathematical Foundations of Programming Semantics - VIRTUAL, Austria Duration: 30 Aug 2021 → 2 Sept 2021 Conference number: 37

Conference

Conference	Conference on Mathematical Foundations of Programming Semantics
Number	37
Country/Territory	Austria
City	VIRTUAL
Period	30/08/2021 → 02/09/2021

Access to Document

10.4204/EPTCS.351.13

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

Cite this

@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",

note = "Conference on Mathematical Foundations of Programming Semantics ; Conference date: 30-08-2021 Through 02-09-2021",

}

Møgelberg, RE & Vezzosi, A 2021, Two Guarded Recursive Powerdomains for Applicative Simulation. in Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. vol. 351, Electronic Proceedings in Theoretical Computer Science, pp. 200-217, Conference on Mathematical Foundations of Programming Semantics, VIRTUAL, Austria, 30/08/2021. https://doi.org/10.4204/EPTCS.351.13

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

N1 - Conference code: 37

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

T2 - Conference on Mathematical Foundations of Programming Semantics

Y2 - 30 August 2021 through 2 September 2021

ER -

Two Guarded Recursive Powerdomains for Applicative Simulation

Conference

Access to Document

Projects

Type theories for reactive programming

Cite this