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

Research output: Contribution to conferencePaper

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

Cite this

@conference{5ce878fb75dc42a4863df26a538d1a28,
title = "Inification via Lambda Se-Style of Explicit Substitution. International Conference on Principles and Practice of Declarative Programming",
author = "M Ayala and Kamareddine, {Fairouz Dib}",
year = "2000",
language = "English",
pages = "163--174",

}

TY - CONF

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

AU - Ayala, M

AU - Kamareddine, Fairouz Dib

PY - 2000

Y1 - 2000

M3 - Paper

SP - 163

EP - 174

ER -