Billede af Rasmus Ejlers Møgelberg

Rasmus Ejlers Møgelberg

 https://orcid.org/0000-0003-0386-4376
20052023

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2020

    Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, s. 105-131 (Lecture Notes in Computer Science, Bind 12065).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil