The following pages link to (Q3075213):
Displaying 14 items.
- Proofs, programs, processes (Q693063) (← links)
- Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
- Intuitionistic formal theories with realizability in subrecursive classes (Q1377631) (← 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)
- Realisability and adequacy for (co)induction (Q2917339) (← links)
- Typed vs. Untyped Realizability (Q3178273) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
- (Q4736391) (← links)
- (Q4861177) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)