Th. Hardin. Eta-conversion for the languages of explicit substitutions. In 3rd ALP, LNCS 632, Volterra, Italy, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An explicit Eta rewrite rule - Briaud (1994) (7 citations) (Correct)
No context found.
Th. Hardin. Eta-conversion for the languages of explicit substitutions. In 3rd ALP, LNCS 632, Volterra, Italy, 1992.
Confluence of Extensional and Non-Extensional λ-calculi.. - Kesner (Correct)
No context found.
Th'er`ese Hardin. Eta-conversion for the languages of explicit substitutions. Applicable Alg. in Engineering, Communication and Computing, 5:317--341, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC