Linearization of the lambda-calculus and its relation with intersection type systems

DOI10.1017/S0956796803004970zbMath1104.68012MaRDI QIDQ5692152

Luís Damas, Mário Florido

Publication date: 27 September 2005

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

weak-head reduction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

Type inference for rank-2 intersection types using set unification ⋮ Structural rules and algebraic properties of intersection types ⋮ Quantitative weak linearisation ⋮ Strong normalization through intersection types and memory ⋮ Weak linearization of the lambda calculus

Uses Software

• Automath

This page was built for publication: Linearization of the lambda-calculus and its relation with intersection type systems