Bruno Pagano. Des calculs de substitution explicite et de leur application `a la compilation des langages fonctionnels. Th`ese de doctorat, Universit'e Pierre et Marie Curie, 1998. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Confluence of Extensional and Non-Extensional λ-calculi.. - Kesner (Correct)
....open terms and preservation of strong normalization, the challenge being the definition of an appropriate scheme associated to those properties. The scheme proposed in this paper could also be combined with Combinatory Reduction Systems [Klo80, KvOvR93] generalizing in that way the formalisms in [Pag98, BR96] which are defined to just cover one particular explicit substitution calculus. Acknowledgments I would like to thank Pierre Lescanne and Gilles Dowek for interesting discussions, Roberto Di Cosmo and Pierre Louis Curien for useful comments, and Alejandro R ios and Paul Andr e Mellies for ....
Bruno Pagano. Des calculs de substitution explicite et de leur application `a la compilation des langages fonctionnels. Th`ese de doctorat, Universit'e Pierre et Marie Curie, 1998.
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