Stavrinos, George, MPLA, Department of Mathematics, Univ. of Athens

• The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
  Church-Rosser property and intersection types
  Abstract  PDF