Flávio L. C. de Moura

#+begin_src text @Article{AMK05, author = {M. Ayala-Rinc\'on and F.L.C. de Moura and F. Kamareddine}, title = {Comparing and Implementing Calculi of Explicit Substitutions with Eta-Reduction}, journal = {{Annals of Pure and Applied Logic}}, year = 2005, volume = 134, pages = {5-41} }#+end_src

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

Created: 2016-12-03 Sáb 14:27

Validate