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

by Chuck Liang, Gopalan Nadathur, Xiaochu Qi
Venue:J. Autom. Reason