Normalization and partial evaluation (2002)

Cached

Download Links

by Peter Dybjer , Andrzej Filinski
Venue:Applied Semantics, number 2395 in LNCS
Citations:17 - 0 self