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-CS91-04 ). Utrecht.

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

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

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

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

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

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