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

publications by dr. N. Verwer

• 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. N. Verwer

• contact information
• my technical reports
• former member of group software technology

some publications

Verwer, N. (1992). Congruences and quotients in categories of algebras. RUU-CS 92-23. Utrecht.

Verwer, N. (1990). Categorical semantics as a basis for program transformation. RUU-CS 90-38. Utrecht.

Verwer, N. (1990). Deriving programming laws categorically. RUU-CS 90-06. Utrecht.

Verwer, N. (1990). Homomorphisms, factorisation and promotion. RUU-CS 90-05. Utrecht.

Verwer, N. (1988). Data conversions in abstract data types. RUU-CS 88-30. Utrecht.