CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
December 1994 -
December 1994 -
Discriminating coded lambda terms (Dedicated in friendship to Cor Baayen on the occasion of his retirement) Book Chapter
December 1994 -
December 1994 -
December 1994 -
Introductory note to "Object-Oriented Algebra Specification" Book Chapter
J.A. Bergstra (Jan), J. Heering (Jan) and J.W. Klop (Jan Willem)
December 1994 -
Polling systems Book Chapter
December 1994 -
December 1994