Normalization of Typable Terms by Superdevelopments (1999)

Cached

Download Links

by Zurab Khasidashvili , Adolfo Piperno
Venue:Computer Science Logic'98, Springer LNCS 1584
Citations:2 - 1 self