Abstracts and Reports
- Bishop spaces: constructive point-function topology, in Mathematisches Forschungsinstitut Oberwolfach Report No. 52/2014, Mathematical Logic: Proof Theory, Constructive Mathematics, pp.26-27, DOI: 10.4171/OWR/2014/52
- On the Formal Constructive Theory of Computable Functionals TCF+ (with H. Schwichtenberg) accepted Abstract, CiE 2012.
- Topological characterization of the compact element of (Tc, ⊂) for any topological space (X, T) (with V. Grigorakis, A. Stamatakis), Abstracts of Papers presented to the A.M.S., 93T-06-05, 1993.
Last modified: 09.07.2020