processing...
home
items
domain theory
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Domain Theory
References
General Synthetic Domain Theory - A Logical Approach. Bernhard Reus, Thomas Streicher. 1997.
First Steps in Synthetic Domain Theory. Martin Hyland. 1991.
