| |
| 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 | |
| 1 | David E. Rydeheard | [1] [2] [4] |