Böhm's Theorem for Berarducci Trees1 1This paper was made possible thanks to the hospitality ETL offered in the March 1999 to both Mariangiola Dezani and Paula Severi.

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

Open PDF

Open link

Publication date

December 2000

DOI

10.1016/S1571-0661(05)80329-9

Publisher

Elsevier B.V.

Abstract

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

Extracted data

We use cookies to provide a better user experience.

Data Protection

Böhm's Theorem for Berarducci Trees1 1This paper was made possible thanks to the hospitality ETL offered in the March 1999 to both Mariangiola Dezani and Paula Severi.

Abstract

Extracted data

Böhm's Theorem for Berarducci Trees1 1This paper was made possible thanks to the hospitality ETL offered in the March 1999 to both Mariangiola Dezani and Paula Severi.

Abstract

Extracted data

Related items

Related items