Various
- Chu representations of categories related to constructive mathematics, The Bulletin of Symbolic Logic, Vol. 28, No. 2, June 2022, 310--311.
- The distributivity of the category of dependent objects over the Groethendieck category, in Coquand et. al (Eds) Geometric Logic, Constructivisation, and Automated Theorem Proving, Dagstuhl Seminar 21472, Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik, 2022, p. 166, DOI: 10.4230/DagRep.11.10.151
- 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.
- Introduction to Banach Algebras and the Gelfand-Naimark theorems (Aristotle University of Thessaloniki, 2008)
- 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.
Back to my webpage
Last modified: 01.07.2022