Flávio L. C. de Moura

@InProceedings{Mou16,
  author = 	 {F.L.C. de Moura},
  title = 	 {Unification for $\lambda$-calculi without propagation rules},
  crossref =  {ictac2016},
  year = 	 2016,
  doi = {10.1007/978-3-319-46750-4 11},
  pages = 	 {179-195}}

@Proceedings{ictac2016,
 title = {Theoretical Aspects of Computing - ICTAC 2016}, 
 year = 	 2016,
 editor = 	 {A. Sampaio and F. Wang},
 volume = 	 9965,
 series = 	 {Lecture Notes in Computer Science},
 publisher = {Springer International Publishing},
 doi = {10.1007/978-3-319-46750-4},
 url = {http://dx.doi.org/10.1007/978-3-319-46750-4}}

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

Created: 2016-11-27 Dom 15:25

Validate