Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:

    ORCID: 0000-0003-4862-9193

    Udgivelsesår:
    Alle
    31 - 40 ud af 49Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2002
    2. Udgivet

      Roll: A Language for Specifying Die-Rolls

      Mogensen, Torben Ægidius, 2002, publisher. Springer, s. 15

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. 2001
    4. Udgivet

      An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

      Mogensen, Torben Ægidius, 2001, publisher. Springer, s. 205-213

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. 2000
    6. Udgivet

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

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

      Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

    7. Udgivet

      Glossary for Partial Evaluation and Related Topics

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    8. Udgivet

      Lienar-Time Self-Interpretation of the Pure Lambda Calculus

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    9. Udgivet

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

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    10. 1999
    11. Udgivet

      Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

      Mogensen, Torben Ægidius, 1999, publisher. s. 19-24

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    12. Udgivet

      Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

      Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

    13. Udgivet

      Tractable Constraints in Finite Semilattices

      Rehof, N. J. & Mogensen, Torben Ægidius, 1999, I: Science of Computer Programming. Vol.35, no.2-3, November, s. 191-221

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    14. 1998
    15. Udgivet

      Inherited Limits

      Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, s. 1-12

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    Forrige 1 2 3 4 5 Næste

    ID: 3086