The following pages link to (Q2766796):
Displaying 4 items.
- Tarski's fixed-point theorem and lambda calculi with monotone inductive types (Q1868162) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types (Q3612624) (← links)
- Least and Greatest Fixpoints in Game Semantics (Q3617718) (← links)