130236

References

Joachim Lambek

Reflections on the categorical foundations of mathematics

2011

with Scott Philip J.

in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer

Open Access Link