References
Philip J. Scott
Reflections on the categorical foundations of mathematics
2011
with Lambek Joachim
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
2011
with Lambek Joachim
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer