Mannaa, Bassel; Møgelberg, Rasmus Ejlers The clocks they are adjunctions. Denotational semantics for clocked type theory. (English) Zbl 1462.68023 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 23, 17 p. (2018). MSC: 68N18 03B38 18C50 68Q55 PDFBibTeX XMLCite \textit{B. Mannaa} and \textit{R. E. Møgelberg}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 23, 17 p. (2018; Zbl 1462.68023) Full Text: DOI arXiv
Bizjak, Aleš; Møgelberg, Rasmus Ejlers A model of guarded recursion with clock synchronisation. (English) Zbl 1351.68057 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 83-101, electronic only (2015). MSC: 68N18 03B15 03B70 18C50 68N30 68Q55 PDFBibTeX XMLCite \textit{A. Bizjak} and \textit{R. E. Møgelberg}, Electron. Notes Theor. Comput. Sci. 319, 83--101 (2015; Zbl 1351.68057) Full Text: DOI
Møgelberg, Rasmus Ejlers; Staton, Sam Linear usage of state. (English) Zbl 1326.68070 Log. Methods Comput. Sci. 10, No. 1, Paper No. 17, 52 p. (2014). MSC: 68N18 03F52 18C15 18C50 PDFBibTeX XMLCite \textit{R. E. Møgelberg} and \textit{S. Staton}, Log. Methods Comput. Sci. 10, No. 1, Paper No. 17, 52 p. (2014; Zbl 1326.68070) Full Text: DOI arXiv
Møgelberg, Rasmus Ejlers; Staton, Sam Linearly-used state in models of call-by-value. (English) Zbl 1344.68040 Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 298-313 (2011). MSC: 68N15 18C15 68N18 68N30 PDFBibTeX XMLCite \textit{R. E. Møgelberg} and \textit{S. Staton}, Lect. Notes Comput. Sci. 6859, 298--313 (2011; Zbl 1344.68040) Full Text: DOI
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex Enriching an effect calculus with linear types. (English) Zbl 1257.03053 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 240-254 (2009). MSC: 03B70 03F52 18C50 PDFBibTeX XMLCite \textit{J. Egger} et al., Lect. Notes Comput. Sci. 5771, 240--254 (2009; Zbl 1257.03053) Full Text: DOI Link
Møgelberg, Rasmus Ejlers From parametric polymorphism to models of polymorphic FPC. (English) Zbl 1172.68009 Math. Struct. Comput. Sci. 19, No. 4, 639-686 (2009). MSC: 68N18 03B40 18C50 68Q65 PDFBibTeX XMLCite \textit{R. E. Møgelberg}, Math. Struct. Comput. Sci. 19, No. 4, 639--686 (2009; Zbl 1172.68009) Full Text: DOI
Møgelberg, Rasmus Ejlers; Birkedal, Lars; Rosolini, Giuseppe Synthetic domain theory and models of linear Abadi & Plotkin logic. (English) Zbl 1153.03007 Ann. Pure Appl. Logic 155, No. 2, 115-133 (2008). MSC: 03B70 03B47 03F55 03G30 18C50 68N15 68N18 68Q55 PDFBibTeX XMLCite \textit{R. E. Møgelberg} et al., Ann. Pure Appl. Logic 155, No. 2, 115--133 (2008; Zbl 1153.03007) Full Text: DOI
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L. Category-theoretic models of linear Abadi & Plotkin logic. (English) Zbl 1140.03012 Theory Appl. Categ. 20, 116-151 (2008). MSC: 03B70 03B47 03G30 18C50 68Q55 PDFBibTeX XMLCite \textit{L. Birkedal} et al., Theory Appl. Categ. 20, 116--151 (2008; Zbl 1140.03012) Full Text: EuDML EMIS
Møgelberg, Rasmus Ejlers; Birkedal, Lars; Rosolini, Giuseppe Synthetic domain theory and models of linear Abadi & Plotkin logic. (English) Zbl 1273.03108 Escardó, M. (ed.) et al., Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18–21, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 155, 219-245 (2006). MSC: 03B70 03F55 03G30 18C50 68N15 68N18 68Q55 PDFBibTeX XMLCite \textit{R. E. Møgelberg} et al., Electron. Notes Theor. Comput. Sci. 155, 219--245 (2006; Zbl 1273.03108) Full Text: Link
Birkedal, Lars; Møgelberg, Rasmus E.; Petersen, Rasmus L. Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus. (English) Zbl 1273.03099 Escardó, M. (ed.) et al., Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18–21, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 155, 191-217 (2006). MSC: 03B70 03B40 03F55 03G30 18C50 68Q55 PDFBibTeX XMLCite \textit{L. Birkedal} et al., Electron. Notes Theor. Comput. Sci. 155, 191--217 (2006; Zbl 1273.03099) Full Text: Link