B. Hilken

A First Order Modal Logic and its Sheaf Models

D. Rydeheard, B. Hilken, 2001 .

Topological duality for intuitionistic modal algebras

B. Hilken, 2000 .

An adjoint construction for topological models of intuitionistic modal logic — Extended abstract —

D. Rydeheard, B. Hilken, M. Collinson, 2003 .

A theory of classes: proofs and models

Barney P. Hilken, David E. Rydeheard, D. Rydeheard, 1997, Mathematical Structures in Computer Science.

Indexed categories for program development

D. Rydeheard, B. Hilken, B. Hilken, 1991 .

Semantics and Proof Theory of an Intuitionistic Modal Sequent Calculus

D. Rydeheard, B. Hilken, D. E. Rydeheard, 2009 .

Towards a proof theory of rewriting: the simply typed 2l-calculus

B. Hilken, Barnaby P. Hilken, 1996 .

Towards a Proof Theory of Rewriting: The Simply Typed 2lambda-Calculus

Barney P. Hilken, B. Hilken, 1996, Theor. Comput. Sci..