The following pages link to Proofs, programs, processes (Q693063):
Displaying 14 items.
- Realizability interpretation of coinductive definitions and program synthesis with streams (Q1314420) (← links)
- Proofs as processes (Q1342245) (← links)
- Proofs and programs (Q1408657) (← links)
- Optimized program extraction for induction and coinduction (Q1670722) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Polynomial time over the reals with parsimony (Q2039933) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
- Nonflatness and totality (Q4611200) (← links)
- Limits of real numbers in the binary signed digit representation (Q5043582) (← links)
- (Q5075308) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)