Login / Signup

Eta-conversion for the languages of explicit substitutions.

Thérèse Hardin
Published in: Appl. Algebra Eng. Commun. Comput. (1995)
Keyphrases