[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 via URL:
   http://hpbroy3.informatik.tu-muenchen.de/~regensbu/hol95.ps

  For more information consult Regensburger's _doctoral thesis_ 
(written in German) via the URL:
   http://hpbroy3.informatik.tu-muenchen.de/~regensbu/diss.ps