Böhm’s theorem for Böhm trees (1998)

by Mariangiola Dezani-Ciancaglini, Benedetto Intrigila, Marisa Venturini-Zilli
Venue:In ICTCS’98