scientific article; zbMATH DE number 2087541

zbMath1077.68568MaRDI QIDQ4738350

Christian Haack, J. B. Wells

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2305/23050115.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (7)

A Realizability Interpretation for Intersection and Union Types ⋮ Intersection-types à la Church ⋮ A typed lambda calculus with intersection types ⋮ Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ Unnamed Item ⋮ Inhabitation of Low-Rank Intersection Types ⋮ Implementing Compositional Analysis Using Intersection Types With Expansion Variables

This page was built for publication: