Oosten, Jaap van
-
BRICS Report Series No. 57 (1995): RS-57 Topological Aspects of Traces - Articles
Topological Aspects of Traces
Abstract PDF -
BRICS Report Series No. 3 (1996): RS-3 The Modified Realizability Topos - Articles
The Modified Realizability Topos
Abstract PDF -
BRICS Report Series No. 37 (1994): RS-37 Fibrations and Calculi of Fractions - Articles
Fibrations and Calculi of Fractions
Abstract PDF