The following pages link to (Q3075213):
Displaying 6 items.
- Proofs, programs, processes (Q693063) (← links)
- \textsc{Prawf}: an interactive proof system for program extraction (Q2106598) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Typed vs. Untyped Realizability (Q3178273) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
