[LB] _________________________ AMAST Links 02 04

HOLCF: Higher Order Logic of Computable Functions

Franz Regensburger

This paper supplies some documentation for the object-logic HOLCF. It is available .

For more information consult Regensburger's doctoral thesis (written in German).