Alonzo Church
2015
Synthese 192/7
Is Church's picture of Frege a good one?
2014
Philosophia Scientiae 18/3
A Church-Fitch proof for the universality of causation
2013
Synthese 190/14
The Church–Fitch knowability paradox in the light of structural proof theory
2013
Synthese 190/14
Reflections on the categorical foundations of mathematics
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
Kripke's paradox and the Church–Turing thesis
2008
Synthese 160/2
Computationalism, the Church–Turing thesis, and the Church–Turing fallacy
2007
Synthese 154/1
Alonzo Church, Introduction to Mathematical Logic Part I
1946
Revue philosophique de Louvain 44/1
Alonzo Church, The calculi of lambda-conversion
1946
Revue philosophique de Louvain 44/1