Inification via Lambda Se-Style of Explicit Substitution. International Conference on Principles and Practice of Declarative Programming

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Pages163-174
Number of pages12
Publication statusPublished - 2000

Cite this