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}}

Email: flaviomoura@unb.br, flavio.de.moura@gmail.com

Created: 2016-12-03 Sáb 15:35

Validate