Chuck Liang, Gopalan Nadathur, Xiaochu Qi. Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. Journal of Automated Reasoning, 33(2):89-132, 2004. [doi]
@article{LiangNQ04,
title = {Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts},
author = {Chuck Liang and Gopalan Nadathur and Xiaochu Qi},
year = {2004},
url = {http://www.springerlink.com/index/10.1007/s10817-004-6885-1},
tags = {context-aware},
researchr = {https://researchr.org/publication/LiangNQ04},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {33},
number = {2},
pages = {89-132},
}