Rasmus Møgelberg

Rasmus Møgelberg

IT University of Copenhagen - Copenhagen / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1464261
IT-Universitetet i København
person_outline Rasmus Møgelberg's MOST POPULAR ARTICLES
1-) First steps in synthetic guarded domain theory: step-indexing in the topos of treesL Birkedal, RE Mogelberg, J Schwinghammer, K Stovring2011 IEEE 26th Annual Symposium on Logic in Computer Science, 55-64, 20111892011
2-) Guarded dependent type theory with coinductive typesA Bizjak, HB Grathwohl, R Clouston, RE Møgelberg, L BirkedalInternational Conference on Foundations of Software Science and Computation …, 2016762016
3-) Modal dependent type theory and dependent right adjointsL Birkedal, R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B SpittersMathematical Structures in Computer Science 30 (2), 118-138, 2020572020
4-) Intensional type theory with guarded recursive types qua fixed points on universesL Birkedal, RE Møgelberg2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 213-222, 2013572013
5-) The clocks are ticking: No more delays!P Bahr, HB Grathwohl, RE Møgelberg2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017552017