Verifying Properties of Module Construction in Type Theory (1993)

Cached

Download Links

by Bernhard Reus , Thomas Streicher
Venue:In Proc. MFCS'93, volume 711 of LNCS
Citations:6 - 1 self