home
items
domain theory
Domain Theory
Contents
References
References
Bernhard Reus, Thomas Streicher. General Synthetic Domain Theory - A Logical Approach. 1997.
Martin Hyland. First Steps in Synthetic Domain Theory. 1991.
