In this paper I compare two well studied approaches to topological semantics| the domain-theoretic approach, exempli ed by the category of countably based equilogical spaces, Equ, and Type Two Eâ€¦ (More)

This set of notes arises from a short course given at the UniversitÃ¡ Degli Studi Udine, given in May, 2003. The aim of the short course is to introduce both undergraduate and PhD students to domainâ€¦ (More)

The question of topological dimension is settled for compact abelian groups with the following classical result [ 7 ] ÃŸ PROPOSITION 0.1 If G is a compact abelian group with character group G and n aâ€¦ (More)

The aim of this paper is to establish a theory of random variables on domains. Domain theory is a fundamental component of theoretical computer science, providing mathematical models of computationalâ€¦ (More)

Rios and Selinger have recently proposed a categorical model for the quantum programming language Proto-Quipper-M, which is an important fragment of the Quipper language. In this work, we describe anâ€¦ (More)

In this quarter's Semantics column we revisit the topic of Homotopy Type Theory and its applications to constructive mathematics and computation. This continues a theme we began with an overview ofâ€¦ (More)

This paper explores the connection between the Smyth power domain PS(D) of a domain D and the domain D itself. The Smyth power domain is the most prevalent of the three power domain constructionsâ€¦ (More)