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