42. [2] The identity type
12 August 2021 Exotic expositions Foundations of mathematics Type theory Constructive mathematics
35. [1] A picture of constructive mathematics
21 May 2021 Exotic expositions Foundations of mathematics Type theory Constructive mathematics
