| 1997 |
|---|
| 4 | | Barney P. Hilken,
David E. Rydeheard:
A Theory of Classes: Proofs and Models.
Mathematical Structures in Computer Science 7(2): 95-127 (1997) |
| 1996 |
|---|
| 3 | EE | Barney P. Hilken:
Towards a Proof Theory of Rewriting: The Simply Typed 2lambda-Calculus.
Theor. Comput. Sci. 170(1-2): 407-444 (1996) |
| 1992 |
|---|
| 2 | | Barney P. Hilken,
David E. Rydeheard:
Towards a categorical semantics of type classes.
Fundam. Inform. 16(1): 127-147 (1992) |
| 1991 |
|---|
| 1 | | Barney P. Hilken,
David E. Rydeheard:
Towards a Categorical Semantics Type Classes.
MFCS 1991: 191-201 |
