A monad on the combinatory algebras
Operations, Sets, and Types, Muenchenwiler, Switzerland, 2016
Constructive reverse mathematics: an introduction and recent results
Frontiers of Non-Classicality: Logic, Mathematics, Philosophy, Auckland, New Zealand, 2016
Constructive reverse mathematics and omniscience pringiples
14th Asian Logic Conference, Munbai, India, 2015
Intuitionistic logic and reverse mathematics
Proof, Truth, Computation: Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy, Chiemsee, Germany, 2014
A monad in the combinatory algebras
Correctness by Construction CORCON 2014 Workshop, Genoa, Italy, 2014