Login / Signup

An explicit Eta rewrite rule.

Daniel Briaud
Published in: TLCA (1995)
Keyphrases