The following pages link to (Q3805882):
Displaying 10 items.
- Well-behaved principles alternative to bounded induction (Q1885028) (← links)
- Induction, constructivity, and grounding (Q1981997) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- Principles of Solomonoff Induction and AIXI (Q2868427) (← links)
- (Q3490977) (← links)
- (Q3493257) (← links)
- Building Decision Procedures in the Calculus of Inductive Constructions (Q3608422) (← links)
- (Q4365106) (← links)
- A fixedpoint approach to implementing (Co)inductive definitions (Q5210768) (← links)
- Types for Proofs and Programs (Q5712303) (← links)