HOLCF: A Conservative Extension of HOL with LCF (1994)

by F Regensburger