The following pages link to A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050):
Displayed 1 item.