Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor


  1. 2000
  2. Published

    Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

    Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 p.

    Research output: Book/ReportBookResearch

  3. Published

    Glossary for Partial Evaluation and Related Topics

    Mogensen, Torben Ægidius, 2000, In : Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    Lienar-Time Self-Interpretation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 2000, In : Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

    Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 3086