Subtyping + extensionality: Confluence of fij-reductions (0)

by Pierre-Louis Curien, Giorgio Ghelli
Venue:in F . In Ito and Meyer [IM91