Normalization and partial evaluation (2002)

Cached

Download Links

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