Login / Signup

The largest Cartesian closed category of domains, considered constructively.

Dieter Spreen
Published in: Math. Struct. Comput. Sci. (2005)
Keyphrases