Two Guarded Recursive Powerdomains for Applicative Simulation

Rasmus Ejlers Møgelberg, Andrea Vezzosi

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Filter
Finished

Search results