On b-adic representation of computable irrational numbers.

Proof Mining in Bounded Arithmetic

Proof Schema and the Refutational Complexity of their Cut Structure

Tomographs for Substructural Display Logic (talk cancelled)

The formalization of Bishop's theory of sets and functions revisited

Convexity and continuity

Towards Embedding Theorem: Aut(Dαe) embeds into Aut(TOTαe)

On the existence of general bar recursors

Notions of Cauchyness and Metastability

Bounded comprehension and the monotone convergence theorem