Church-Rosser theorem for typed functional systems (0)

by G Koletsos
Venue:J. Symbolic Logic