Pages that link to "Item:Q3221961"
From MaRDI portal
The following pages link to Extended type structures and filter lambda models (Q3221961):
Displaying 4 items.
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6653755) (← links)