ITU
Rasmus Lerchedal Petersen

Rasmus Lerchedal Petersen

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (2)

  1. Published

    Domain theoretic models of parametric polymorphism

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  2. Published

    A Realizability Model for Impredicative Hoare Type Theory

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Recent activities and conferences

ID: 264916