| Original language | English |
|---|---|
| Pages | 163-174 |
| Number of pages | 12 |
| Publication status | Published - 2000 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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