Publikationer pr. år
Publikationer pr. år
- 19 resultater
Søgeresultater
-
2020
Denotational semantics for guarded dependent type theory
Bizjak, A. & Møgelberg, R. E., apr. 2020, I: Mathematical Structures in Computer Science. 30, 4, s. 342-378Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, B., Møgelberg, R. E. & Veltri, N., 15 dec. 2020, I: Logical Methods in Computer Science. 16, 4, s. 17:1–17:31 31 s., 6278.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2019
Modal dependent type theory and dependent right adjoints
Birkedal, L., Clouston, R., Mannaa, B., Møgelberg, R. E., M. Pitts, A. & Spitters, B., dec. 2019, I: Mathematical Structures in Computer Science. 21 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2018
Denotational semantics of recursive types in synthetic guarded domain theory
Møgelberg, R. E. & Paviotti, M., 15 maj 2018, I: Mathematical Structures in Computer Science. 46 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil -
2015
A model of guarded recursion with clock synchronisation
Bizjak, A. & Møgelberg, R. E., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 83-101Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
A Model of PCF in Guarded Type Theory
Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 333-349Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2014
Linear usage of state
Møgelberg, R. E. & Staton, S., 25 mar. 2014, I: Logical Methods in Computer Science. 10, 1Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
The Enriched Effect Calculus: Syntax and Semantics
Møgelberg, R. E., Simpson, A. & Egger, J., 2014, I: Journal of Logic and Computation. 24, 3, s. 615-654Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2013
Intensional type theory with guarded recursive types qua fixed points on universes
Møgelberg, R. E. & Birkedal, L., 2013, I: Annual Symposium on Logic in Computer Science. s. 213-222 10 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2012
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Birkedal, L., Møgelberg, R. E., Schwinghammer, J. & Støvring, K., 3 okt. 2012, I: Logical Methods in Computer Science. 8, 4Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Linear-use CPS translations in the enriched effect calculus
Møgelberg, R. E., Simpson, A. & Egger, J., 2012, I: Logical Methods in Computer Science. 8, 4Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2010
A nominal relational model for local store
Møgelberg, R. E., 2010, I: Electronic Notes in Theoretical Computer Science. 265, s. 403-421 19 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Domain theoretic models of parametric polymorphism
Møgelberg, R. E., Birkedal, L. & Petersen, R. L., 2010, I: Theoretical Computer Science. 388, 1-3, s. 152-172Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2009
From parametric polymorphism to models of polymorphic FPC
Møgelberg, R. E., 2009, I: Mathematical Structures in Computer Science. 19, 4, s. 639-686Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Relational Parametricity for Computational Effects
Møgelberg, R. E. & Simpson, A., 2009, I: Logical Methods in Computer Science. 5, 3, 31 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
2008
Category-theoretic models of linear Abadi & Plotkin Logic.
Birkedal, L., Møgelberg, R. E. & Lerchedahl Petersen, R., 2008, I: Theory and Applications of Categories. 20, 7, s. 116-151 35 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
Møgelberg, R. E., Birkedal, L. & Rosolini, G., 2 sep. 2008, I: Annals of Pure and Applied Logic. 155, 2, s. 115-133 19 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2007
Relational parametricity for control considered as a computational effect
Møgelberg, R. E. & Simpson, A., 2007, I: Electronical Notes in Theoretical Computer Science. 173Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2005
Categorical Models of Abadi-Plotkin's logic for parametricity
Møgelberg, R. E. & Birkedal, L., 2005, I: Mathematical Structures in Computer Science. 15, 4, s. 709-772 64 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil