Michael Shulman (shulman)

Contributions to Philosophie.ch

Bibliography

Shulman, Michael. 2017. “Homotopy Type Theory: A Synthetic Approach to Higher Equalities.” in Categories for the Working Philosopher, edited by Elaine M. Landry, pp. 36–57. Oxford: Oxford University Press, doi:10.1093/oso/9780198748991.001.0001.