Research output per year
Research output per year
- 19 results
Search results
-
2020
Denotational semantics for guarded dependent type theory
Bizjak, A. & Møgelberg, R. E., Apr 2020, In: Mathematical Structures in Computer Science. 30, 4, p. 342-378Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, B., Møgelberg, R. E. & Veltri, N., 15 Dec 2020, In: Logical Methods in Computer Science. 16, 4, p. 17:1–17:31 31 p., 6278.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
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, In: Mathematical Structures in Computer Science. 21 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2018
Denotational semantics of recursive types in synthetic guarded domain theory
Møgelberg, R. E. & Paviotti, M., 15 May 2018, In: Mathematical Structures in Computer Science. 46 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
2015
A model of guarded recursion with clock synchronisation
Bizjak, A. & Møgelberg, R. E., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 83-101Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
A Model of PCF in Guarded Type Theory
Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 333-349Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2014
Linear usage of state
Møgelberg, R. E. & Staton, S., 25 Mar 2014, In: Logical Methods in Computer Science. 10, 1Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
The Enriched Effect Calculus: Syntax and Semantics
Møgelberg, R. E., Simpson, A. & Egger, J., 2014, In: Journal of Logic and Computation. 24, 3, p. 615-654Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2013
Intensional type theory with guarded recursive types qua fixed points on universes
Møgelberg, R. E. & Birkedal, L., 2013, In: Annual Symposium on Logic in Computer Science. p. 213-222 10 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › 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 Oct 2012, In: Logical Methods in Computer Science. 8, 4Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Linear-use CPS translations in the enriched effect calculus
Møgelberg, R. E., Simpson, A. & Egger, J., 2012, In: Logical Methods in Computer Science. 8, 4Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2010
A nominal relational model for local store
Møgelberg, R. E., 2010, In: Electronic Notes in Theoretical Computer Science. 265, p. 403-421 19 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Domain theoretic models of parametric polymorphism
Møgelberg, R. E., Birkedal, L. & Petersen, R. L., 2010, In: Theoretical Computer Science. 388, 1-3, p. 152-172Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2009
From parametric polymorphism to models of polymorphic FPC
Møgelberg, R. E., 2009, In: Mathematical Structures in Computer Science. 19, 4, p. 639-686Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Relational Parametricity for Computational Effects
Møgelberg, R. E. & Simpson, A., 2009, In: Logical Methods in Computer Science. 5, 3, 31 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
2008
Category-theoretic models of linear Abadi & Plotkin Logic.
Birkedal, L., Møgelberg, R. E. & Lerchedahl Petersen, R., 2008, In: Theory and Applications of Categories. 20, 7, p. 116-151 35 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
Møgelberg, R. E., Birkedal, L. & Rosolini, G., 2 Sept 2008, In: Annals of Pure and Applied Logic. 155, 2, p. 115-133 19 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2007
Relational parametricity for control considered as a computational effect
Møgelberg, R. E. & Simpson, A., 2007, In: Electronical Notes in Theoretical Computer Science. 173Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2005
Categorical Models of Abadi-Plotkin's logic for parametricity
Møgelberg, R. E. & Birkedal, L., 2005, In: Mathematical Structures in Computer Science. 15, 4, p. 709-772 64 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File