Multi-Level Lambda-Calculi: an Algebraic Description

F. Nielson, H. Riis Nielson

TypeConference paper [With referee]
ConferencePartial Evaluation
Year1996    Vol. 1110    pp. 338-354
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering