Colin McLarty
1 Publications
Recent debate over categorical foundations
2011
in: Foundational theories of classical and constructive mathematics, Berlin,
1 Publications
1 Publications
in: Foundational theories of classical and constructive mathematics, Berlin,
1 Publications