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 | |
Publication status | Published - Dec 2021 |
Two Guarded Recursive Powerdomains for Applicative Simulation
Rasmus Ejlers Møgelberg, Andrea Vezzosi
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review