The following pages link to (Q4263807):
Displaying 6 items.
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations (Q3006121) (← links)
- Logical relations for monadic types (Q3545276) (← links)
- (Q4281669) (← links)
- (Q4411847) (← links)
- Monotone (co)inductive types and positive fixed-point types (Q4943545) (← links)