Fingerprint
Dive into the research topics of 'Choices in representation and reduction strategies for lambda terms in intensional contexts'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Choices in representation and reduction strategies for lambda terms in intensional contexts
Chuck Liang, Gopalan Nadathur, Xiaochu Qi
Research output: Contribution to journal › Article › peer-review
11
Scopus
citations