Torben Ægidius Mogensen
Associate Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø, 01 Sigurdsgade 41, Building: 01-0-08
Member of:
ORCID: 0000-0003-4862-9193
1 - 1 out of 1Page size: 10
- 1995
- Published
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 3086
Most downloads
-
5645
downloads
Planet map generation by tetrahedral subdivision
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4492
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
105
downloads
A comparison of well-quasi orders on trees
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Published