Böhm's Theorem for Böhm Trees (1998)

Cached

Download Links

by Mariangiola Dezani-Ciancaglini , Benedetto Intrigila , Marisa Venturini-Zilli
Venue:IN ICTCS'98
Citations:7 - 6 self