Choices in representation and reduction strategies for lambda terms in intensional contexts (2004)

Cached

Download Links

by Chuck Liang , Gopalan Nadathur , Xiaochu Qi
Venue:J. Autom. Reasoning
Citations:8 - 5 self