Original language | English |
---|---|
Pages | 163-174 |
Number of pages | 12 |
Publication status | Published - 2000 |
Inification via Lambda Se-Style of Explicit Substitution. International Conference on Principles and Practice of Declarative Programming
M Ayala, Fairouz Dib Kamareddine
Research output: Contribution to conference › Paper › peer-review