Subtyping + extensionality: Confluence of βηtop reduction in F≤

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_72 ◽

1991 ◽

pp. 731-749 ◽

Cited By ~ 6

Author(s):

Pierre-Louis Curien ◽

Giorgio Ghelli