Barney P. Hilken

	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		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

Coauthor Index

1

David E. Rydeheard

[1] [2] [4]