HOLCF eine konservative Erweiterung von HOL um LCF - Regensburger, Franz (1994)
München, Techn. Univ., Diss., 1994
Keywords: Automatisches Beweisverfahren; Klassenlogik; Bereichstheorie; Logik; Stufe n; Hochschulschrift