The following pages link to Intuitionistic fixed point logic (Q2220485):
Displaying 6 items.
- \textsc{Prawf}: an interactive proof system for program extraction (Q2106598) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)
