research
∙
04/23/2021
Algebraic combinatory models
We introduce an equationally definable counterpart of the notion of comb...
share
research
∙
06/10/2020
Predicative theories of continuous lattices
The paper introduces strong proximity join-semilattice, a predicative no...
research
∙
12/20/2018
Factorizing the Top-Loc adjunction through positive topologies
We characterize the category of Sambin's positive topologies as a fibrat...
research
∙
12/16/2018
Presenting de Groot duality of stably compact spaces
We give a constructive account of the de Groot duality of stably compact...
research
∙
02/13/2018
The principle of point-free continuity
In the setting of constructive point-free topology, we introduce a notio...
research
∙
10/24/2017
Formally continuous functions on Baire space
A function from Baire space to the natural numbers is called formally co...
research
∙
09/19/2017