The following pages link to (Q5606586):
Displaying 9 items.
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- The identity type weak factorisation system (Q959823) (← links)
- Programs as proofs: A synopsis (Q1051424) (← links)
- A proof description language and its reduction system (Q1055769) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- The calculus of constructions (Q1108266) (← links)
- A coherence theorem for canonical morphisms in Cartesian closed categories (Q1168319) (← links)
- Induction-recursion and initial algebras. (Q1412830) (← links)
- A characterisation of elementary fibrations (Q2131276) (← links)
