scientific article; zbMATH DE number 1759417
From MaRDI portal
Publication:4536366
zbMATH Open0996.03501MaRDI QIDQ4536366FDOQ4536366
Furio Honsell, Mariangiola Dezani-Ciancaglini, Yoko Motohama
Publication date: 4 November 2002
Title of this publication is not available (Why is that?)
Recommendations
- Compositional characterisations of \(\lambda\)-terms using intersection types
- Intersection types and termination properties
- Characterisation of normalisation properties for \(\lambda\mu\) using strict negated intersection types
- Strong normalization and typability with intersection types
- Intersection types and λ-definability
Cited In (14)
- Execution time of λ-terms via denotational semantics and intersection types
- Intersection Types and Computational Rules
- Compositional characterisations of \(\lambda\)-terms using intersection types
- Infinite intersection types
- Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
- Non finitely generated types and λ-terms combinatoric representation cost
- Title not available (Why is that?)
- Intersection types for explicit substitutions
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
- Simple easy terms
- Reducibility: a ubiquitous method in lambda calculus with intersection types
- Title not available (Why is that?)
- Behavioural inverse limit \(\lambda\)-models
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536366)
