Eta-Conversion for Languages of Explicit Substitutions

Thérèse Hardin. Eta-Conversion for Languages of Explicit Substitutions. Appl. Algebra Eng. Commun. Comput., 6(4/5):325, 1995. [doi]

Abstract

Abstract is missing.