Data Types, Infinity and Equality in System AF2 (1995)

Cached

Download Links

by Christophe Raffalli
Venue:In CSL ’93, volume 832 of LNCS
Citations:1 - 0 self