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]

Authors

Thérèse Hardin

This author has not been identified. Look up 'Thérèse Hardin' in Google