Flávio L. C. de Moura

@InProceedings{ARMK02,
  author =       {M. Ayala-Rinc\'on and F. L. C. de Moura and
                  F. Kamareddine},
  title =        {{Comparing Calculi of Explicit Substitutions with
                  Eta-reduction}},
  booktitle =    {Proceedings Ninth Workshop on Logic, Language,
                  Information and Computation (WoLLIC 2002)},
  pages =        {77-96},
  year =         2002,
  series =       entcs,
  volume =       67,
  editor =       {de Queiroz, R.J.G.B.},
  publisher =    {Elsevier Science Publishers}}