17th International Conference on Term Rewriting and Applications, RTA 2006
1
"A lambda-calculus with constructors" (2006) Arbiser, A.; Miquel, A.; Ríos, A. 17th International Conference on Term Rewriting and Applications, RTA 2006. 4098 LNCS:181-196
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400