Pages that link to "Item:Q4923379"
From MaRDI portal
The following pages link to Models for the computational λ-calculus (Q4923379):
Displaying 12 items.
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- The parametric lambda calculus. A metamodel for computation. (Q703856) (← links)
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- What is a model for a semantically linear -calculus? (Q2937685) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- (Q4261066) (← links)
- Numeration Models of λ‐Calculus (Q4722039) (← links)
- (Q5111441) (← links)
- (Q5309601) (← links)
- (Q5480165) (← links)
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations (Q6057501) (← links)