On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study

Herman Geuvers, Benjamin Werner

Browse the full LICS paper archive.