The following pages link to (Q3075213):
Displaying 8 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)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)