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.