Monthly Archives: March 2021

Plotkin’s powerdomain and the hedgehog

There are three classical powerdomains in domain theory, named after Hoare, Smyth, and Plotkin. The first two are natural and well studied, and the third one is intricate and intriguing. To start with, there are several possible definitions for a … Continue reading

Posted in Uncategorized | Comments Off on Plotkin’s powerdomain and the hedgehog