Jean Fichot
Proof-theoretic semantics and feasibility
2014
in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer
Gödel, constructivity, impredicativity, and feasibility
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
2003
Synthese 137/1-2