|
|||||
|
|
Bridging de Bruijn indices and variable names in explicit substitutions calculi |
|
| Authors: | Kamareddine F; Rios A |
| Institution: | A1 Department of Computing Science, 17 Lilybank Gardens, University of Glasgow, Glasgow G12 8QQ, UK. E-mail: fairouz@dcs.gla.ac.uk A2 University of Buenos Aires, Cordoba 3571 11A, 1188 Ciudad de Buenos Aires, Argentina. E-mail: arios@cactus.fi.uba.ar |
| Abstract: | |
| Keywords: | lambda calculus variable names de Bruijn indices explicit substitutions |
| 本文献已被 Oxford 等数据库收录！ | |