Fingerprint
Dive into the research topics of 'Comments on Georgeff's Transformation and Reduction Strategies for Typed Lambda Expressions'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Comments on Georgeff's Transformation and Reduction Strategies for Typed Lambda Expressions
Flemming Nielson, Hanne Riis Nielson
Research output: Contribution to journal › Journal article › Research › peer-review