Church-Rosser property and intersection types. Australian Journal of Logic, 6:37–54 (2008)

by G Koletsos, G Stavrinos
Venue:In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B