Church-Rosser Theorem for Typed Functional Systems

George Koletsos. Church-Rosser Theorem for Typed Functional Systems. Journal of Symbolic Logic, 50(3):782-790, 1985.

Abstract

Abstract is missing.