|
|||||
|
|
de Bruijn Indices for Metaterms |
|
| Authors: | Bonelli Eduardo; Kesner Delia; Rios Alejandro |
| Affiliation: | 1 CONICET and LIFIA, Facultad de Informática, Universidad Nacional de La Plata, Argentina. Email: eduardo{at}sol.info.unlp.edu.ar, 2 PPS, CNRS and Université Paris 7, France. Email: kesner{at}pps.jussieu.fr, 3 Departamento de Computación, Universidad de Buenos Aires, Argentina. Email: rios{at}dc.uba.ar |
| Abstract: | |
| Keywords: | Higher-order rewriting de Bruijn indices alpha-conversion |
| 本文献已被 Oxford 等数据库收录！ | |