Linearization of the lambda-calculus and its relation with intersection type systems
From MaRDI portal
Publication:5692152
DOI10.1017/S0956796803004970zbMATH Open1104.68012MaRDI QIDQ5692152FDOQ5692152
Authors: Mário Florido, Luís Damas 
Publication date: 27 September 2005
Published in: Journal of Functional Programming (Search for Journal in Brave)
Recommendations
- A linearization of the Lambda-calculus and consequences
- Intersection typed \(\lambda \)-calculus
- Strict intersection types for the lambda calculus
- Intersection types for light affine lambda calculus
- A typed lambda calculus with intersection types
- Non-idempotent intersection types for the lambda-calculus
- Intersection types for the \(\lambda\mu\)-calculus
- Full intersection types and topologies in lambda calculus
- A type system for the vectorial aspect of the linear-algebraic lambda-calculus
- Intersection types for lambda-terms and combinators and their logics
Cited In (16)
- Execution time of λ-terms via denotational semantics and intersection types
- The algebra of expansion
- Weak linearization of the lambda calculus
- Logic Based Program Synthesis and Transformation
- Strong normalization through intersection types and memory
- Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus
- Quantitative types for the linear substitution calculus
- Quantitative weak linearisation
- A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
- Collapsing non-idempotent intersection types
- Strict intersection types for the lambda calculus
- Intersection types for light affine lambda calculus
- Title not available (Why is that?)
- Type inference for rank-2 intersection types using set unification
- Title not available (Why is that?)
- Structural rules and algebraic properties of intersection types
Uses Software
This page was built for publication: Linearization of the lambda-calculus and its relation with intersection type systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5692152)
