Barney P. Hilken

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

Barney P. Hilken, David E. Rydeheard
A Theory of Classes: Proofs and Models. Math. Struct. Comput. Sci. 7 (2) (1997)
Barney P. Hilken
Towards a Proof Theory of Rewriting: The Simply Typed 2lambda-Calculus. Theor. Comput. Sci. 170 (1-2) (1996)
Barney P. Hilken, David E. Rydeheard
Towards a categorical semantics of type classes. Fundam. Informaticae 16 (1) (1992)
Barney P. Hilken, David E. Rydeheard
Towards a Categorical Semantics Type Classes. MFCS (1991)