Pages that link to "Item:Q5704032"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704032):
Displayed 5 items.
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- Coinductive big-step operational semantics (Q1012129) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
- Trace-Based Coinductive Operational Semantics for While (Q3183540) (← links)
- Using Structural Recursion for Corecursion (Q3638255) (← links)