Continuous Domains in Logical Form

Mathias Kegelmann. Continuous Domains in Logical Form. Electronic Notes in Theoretical Computer Science, 49:1-166, 2002. [doi]

Abstract

Abstract is missing.