HOLCF: A higher-order version of LCF based on Isabelle/HOL
Author: Franz Regensburger
Copyright 1995 Technische Universität München
A detailed description (in german) of the entire development can be found in:
HOLCF: eine konservative Erweiterung von HOL um LCF
,
Franz Regenburger
.
Dissertation Technische Universität München.
Year: 1994.
A short survey is available in:
HOLCF: Higher Order Logic of Computable Functions