Rasmus Ejlers Møgelberg

Rasmus Ejlers Møgelberg

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

Research activity per year

Filter
Book chapter

Search results

  • 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, p. 105-131 (Lecture Notes in Computer Science, Vol. 12065).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

    Open Access
    File