Tradeoffs in the Intensional Representation of Lambda Terms (2002)

Cached

Download Links

by Chuck Liang , Gopalan Nadathur
Venue:Rewriting Techniques and Applications (RTA 2002), volume 2378 of LNCS
Citations:10 - 3 self