| 1995 |
|---|
| 4 | EE | Chritiene Aarts,
Roland Carl Backhouse,
Eerke A. Boiten,
Henk Doornbos,
Netty van Gasteren,
Rik van Geldrop,
Paul F. Hoogendijk,
Ed Voermans,
Jaap van der Woude:
Fixed-Point Calculus.
Inf. Process. Lett. 53(3): 131-136 (1995) |
| 1991 |
|---|
| 3 | | Roland Carl Backhouse,
Peter J. de Bruin,
Paul F. Hoogendijk,
Grant Malcolm,
Ed Voermans,
Jaap van der Woude:
Polynomial Relators (Extended Abstract).
AMAST 1991: 303-326 |
| 2 | | Ed Voermans:
Pers as Types, Inductive Types and Types with Laws.
Declarative Programming 1991: 274-291 |
| 1 | | Graham Hutton,
Ed Voermans:
Making Functionality More General.
Functional Programming 1991: 177-190 |
