Pages that link to "Item:Q2566033"
From MaRDI portal
The following pages link to Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033):
Displaying 13 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- An irregular filter model (Q930872) (← links)
- Pre-grammars and inhabitation for a subset of rank 2 intersection types (Q2333664) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Lazy strong normalization (Q2851088) (← links)
- Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (Q3000601) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Non finitely generated types and λ-terms combinatoric representation cost (Q4522149) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4699351) (← links)
- Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus (Q5111914) (← links)
- Recursive Domain Equations of Filter Models (Q5448641) (← links)
- Types for Hereditary Head Normalizing Terms (Q5458437) (← links)
