DIPARTIMENTO   DI   INFORMATICA
Università di Torino

THE GROUP'S LOGO
Research on "Formal Methods in Computing"

Böhm's Theorem for Berarducci's Trees

Mariangiola DEZANI-CIANCAGLINI, Paula SEVERI, and Fer-Jan DE VRIES

ABSTRACT. We propose an extension of lambda calculus which internally discriminates two lambda terms if and only if they have different Berarducci trees.



["Formal Methods in Computing" group] [Department's HOME]

Last update: Nov 08, 2006