The following pages link to Type fixpoints (Q2817715):
Displayed 6 items.
- Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
- Parametricity, type equality, and higher-order polymorphism (Q3564921) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
- Termination checking with types (Q4659886) (← links)
- A Tutorial on Type-Based Termination (Q5191089) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)