The Compact Hyper-space Monad, a Constructive Approach
Decidability of variables in constructive logics
Effective Wadge hierarchy in computable quasi-Polish spaces
Towards quantitative versions of the "Main Theorem" of Computable Analysis
Computable analysis and exact real computation in Coq
Counterexample to Brotherston's Conjecture
Some Lifschitz-like realizability notions separating non-constructive principles
Labelled sequent calculi for relevant logics
Koenig's lemma and the decidable fan theorem in reverse mathematics
On the transferability of results between subcategories of spaces and locales
On two theories of Frege structure equivalent to Feferman’s T0
On Cut-Elimination for Cyclic Proof System of Bunched Implication
First Order Expansion of Intuitionistic Epistemic Logic
Generalizing Taylor models for multivariate real functions
Restriction on cut in cyclic proof system for symbolic heaps
Ksmt for solving non-linear constraints
A simple proof of the parallel closedness theorem