scientific article; zbMATH DE number 1497857

zbMath0967.68031MaRDI QIDQ4499287

Fer-Jan de Vries, Mariangiola Dezani-Ciancaglini, Paula G.Severi

Publication date: 5 March 2001

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

zbMATH Keywords

lambda calculusBerarducci trees

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

From Böhm's Theorem to Observational Equivalences ⋮ Intersection types for \(\lambda\)-trees

This page was built for publication: