Pages that link to "Item:Q1275621"
From MaRDI portal
The following pages link to Infinite \(\lambda\)-calculus and types (Q1275621):
Displaying 11 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Coinductive big-step operational semantics (Q1012129) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- Adapting innocent game models for the Böhm tree \(\lambda\)-theory (Q1884886) (← links)
- Limiting partial combinatory algebras (Q1884934) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Types for Hereditary Head Normalizing Terms (Q5458437) (← links)
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)
- Cost Automata, Safe Schemes, and Downward Closures (Q6044492) (← links)
