Equivalences on Program Schemes

Robin Milner. Equivalences on Program Schemes. J. Comput. Syst. Sci., 4(3):205-219, 1970.

Abstract

Abstract is missing.