HOLCF: Higher Order Logic of Computable Functions (1995)

by Franz Regensburger
Venue:In Theorem Proving in Higher Order Logics, volume 971 of LNCS
Citations:24 - 0 self