Multi-Level Lambda-Calculi: an Algebraic Description (1996)
by
Flemming Nielson
,
Hanne Riis Nielson
| Venue: | In Partial Evaluation International Seminar, Dagstuhl |
| Citations: | 7 - 2 self |







