Weak orthogonality implies confluence: the higher-order case (1994)

by V van Oostrom, F van Raamsdonk
Venue:In LFCS’94, volume 813 of LNCS