Meyer, Robert K., Automated Reasoning Group, RSISE, Australian National University

• The Australasian Journal of Logic Vol. 3 (2005): Australasian Journal of Logic - Articles
  Basic Relevant Theories for Combinators at Levels I and II
  Abstract  PDF