A Universality Theorem for PCF With Recursive Types, Parallel-Or and ExistsThomas StreicherMathematical Structures in Computer Science1994Highly Influenced9 Excerpts

The largest Cartesian closed category of domains, considered constructivelyDieter SpreenMathematical Structures in Computer Science2005Highly Influenced8 Excerpts

Comparing Categories of DomainsCarl A. GunterMathematical Foundations of Programming Semantics19851 Excerpt

The categorical soluticn of reolrsive dcmain equationsSmyth-PlotkinProc . of the 18 th IEEE FOCS Conference1976