| 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