Church-Rosser property and intersection types (0)

by G Koletsos, G Stavrinos
Venue:Australian Journal of Logic