Similar Items: On the Semantic Expressiveness of Iso- and Equi-Recursive Types
- Semantics of Higher-Order Recursion Schemes
- General Recursion via Coinductive Types
- Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- Recursive Causal Discovery
- Recursive Concurrent Stochastic Games