A continuous computational interpretation of type theories

Chuangjie Xu. A continuous computational interpretation of type theories. PhD thesis, University of Birmingham, UK, 2015. [doi]

Abstract

Abstract is missing.