, Department of Mathematics, University of Wollongong

• The Australasian Journal of Logic Vol. 1 (2003): Australasian Journal of Logic - Articles
  Intersection Type Systems and Logics Related to the Meyer–Routley System B+
  Abstract  PDF