References
Colin McLarty
Recent debate over categorical foundations
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer