Point-free Substitution

A. Bijlsma, Carel S. Scholten. Point-free Substitution. Science of Computer Programming, 27(2):205-214, 1996.

Abstract

Abstract is missing.