Login / Signup

Some axiomatic results in synthetic domain theory.

Jaap van OostenAlex K. Simpson
Published in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases