Homotopy Type Theory
limited principle of omniscience > history
<
principle of omniscience
category:
redirected to nlab