130237

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

Open Access Link