Re nements in HOLCF
Implementation of Interactive Systems
Oscar Slotosch
Fakult at f ur Informatik
der Technischen Universit at M unchen
Re nements in HOLCF
Implementation of Interactive Systems
Oscar Slotosch
Vollst andiger Ab druckdervon der Fakult at fur Informatik der Technischen
Universit at M unchen zur Erlangung des akademischen Grades eines
Doktors der Naturwissenschaften Dr rer nat
genehmigten Dissertation
Vorsitzender Univ Prof Dr rer nat habil Jurgen Eickel
Prufer der Dissertation