home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. R. Hoofman

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. R. Hoofman

• contact information
• my technical reports
• former member of group algorithmic systems

some publications

Hoofman, R. (1991). The linear decomposition of lambda 2-models. RUU-CS 91-04. Utrecht.

Hoofman, R. (1990). A note on semi-adjunctions. RUU-CS 90-41. Utrecht.

Hoofman, R. (1990). Continuous information systems. RUU-CS 90-25. Utrecht.

Hoofman, R. (1990). From posets to coherence spaces. RUU-CS 90-02. Utrecht.

Hoofman, R. (1990). Linear logic, domain theory and semi-functors. RUU-CS 90-34. Utrecht.

Hoofman, R. (1990). Properties of models which are complete for Hoare logic. RUU-CS 90-01. Utrecht.

Hoofman, R. (1987). Powerdomains. RUU-CS 87-23. Utrecht.