scientific article; zbMATH DE number 2044491

zbMath1042.03014MaRDI QIDQ4448355

Furio Honsell, Fabio Alessi, Mariangiola Dezani-Ciancaglini

Publication date: 18 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2202/22020017.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 (9)

Easy lambda-terms are not always simple ⋮ Graph easy sets of mute lambda terms ⋮ Intersection types and lambda models ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ An irregular filter model ⋮ Intersection types and domain operators ⋮ Intersection Types and Computational Rules ⋮ Recursive Domain Equations of Filter Models ⋮ Simple Easy Terms

This page was built for publication: