Categories and types for axiomatic domain theory

Adam Eppendahl. Categories and types for axiomatic domain theory. PhD thesis, Queen Mary University of London, UK, 2003. [doi]

Abstract

Abstract is missing.