DIPARTIMENTO DI
INFORMATICA Università di Torino | |
Research on "Formal Methods in Computing" Böhm's Theorem for Berarducci's TreesMariangiola DEZANI-CIANCAGLINI, Paula SEVERI, and Fer-Jan DE VRIESABSTRACT. We propose an extension of lambda calculus which internally discriminates two lambda terms if and only if they have different Berarducci trees. |
Last update: Nov 08, 2006 | |