Pages that link to "Item:Q5898168"
From MaRDI portal
The following pages link to Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898168):
Displayed 5 items.
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- (In)efficiency and reasonable cost models (Q2333310) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- Dynamic game semantics (Q4988428) (← links)
- (Q6202803) (← links)