Domain Theory

References

• General Synthetic Domain Theory - A Logical Approach. Bernhard Reus, Thomas Streicher. 1997.
• First Steps in Synthetic Domain Theory. Martin Hyland. 1991.