The following pages link to Intuitionistic fixed point logic (Q2220485):
Displaying 15 items.
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- An intuitionistic fixed point theory (Q1386672) (← links)
- \textsc{Prawf}: an interactive proof system for program extraction (Q2106598) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- (Q2958528) (← links)
- Intuitionistic Trilattice Logics (Q3069727) (← links)
- (Q4764114) (← links)
- (Q4793036) (← 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)
- Intuitionistic ancestral logic (Q5225851) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← 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)
