scientific article

zbMath1272.03073MaRDI QIDQ2851085

Pascal Zimmer, Gérard Boudol

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050589

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Type inference for rank-2 intersection types using set unification ⋮ Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage