Reductions, intersection types, and explicit substitutions

DOI10.1017/S0960129502003821zbMath1029.03006OpenAlexW1982055197MaRDI QIDQ4405688

Pierre Lescanne, Dan Dougherty

Publication date: 23 June 2003

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129502003821

zbMATH Keywords

\(\lambda\)-calculusexplicit substitutionstypabilitystrong normalisation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Intersection types for explicit substitutions ⋮ Resource operators for \(\lambda\)-calculus

Uses Software

• Automath

This page was built for publication: Reductions, intersection types, and explicit substitutions