Choices in representation and reduction strategies for lambda terms in intensional contexts (2004)
by
Chuck Liang
,
Gopalan Nadathur
,
Xiaochu Qi
| Venue: | J. Autom. Reasoning |
| Citations: | 8 - 5 self |
BibTeX
@ARTICLE{Liang04choicesin,
author = {Chuck Liang and Gopalan Nadathur and Xiaochu Qi},
title = {Choices in representation and reduction strategies for lambda terms in intensional contexts},
journal = {J. Autom. Reasoning},
year = {2004},
volume = {33},
pages = {89--132}
}
Bookmark
 |
 |
 |
 |
 |
 |
