Identity in Martin‐Löf type theory
Article in Philosophy Compass (December 2021)
The most recent citing publications are shown below. View all 41 publications that cite this research output on Dimensions.
Article in Philosophy Compass (December 2021)
Article in European Journal of Philosophy (September 2020)
Article in British Journal for the History of Philosophy (March 2019)