Data types, infinity and equality in System AF2 (1994)

by Christophe Raffalli
Venue:In CSL ’93, volume 832 of LNCS