Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rasmus Ejlers Møgelberg

◀ ▶ joint publications with Bassel Mannaa

> Home > Persons > Rasmus Ejlers Møgelberg

Publications

2020
[j16]
- view
  - electronic edition @ episciences.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/lmcs/MannaaMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/MannaaMV20
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri:
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. Log. Methods Comput. Sci. 16(4) (2020)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BirkedalCMMPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BirkedalCMMPS20
Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters:
Modal dependent type theory and dependent right adjoints. Math. Struct. Comput. Sci. 30(2): 118-138 (2020)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-01709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-01709
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri:
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. CoRR abs/2004.01709 (2020)
2018
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/MannaaM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/MannaaM18
Bassel Mannaa, Rasmus Ejlers Møgelberg:
The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory. FSCD 2018: 23:1-23:17
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-05236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-05236
Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters:
Modal Dependent Type Theory and Dependent Right Adjoints. CoRR abs/1804.05236 (2018)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-06687
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-06687
Bassel Mannaa, Rasmus Ejlers Møgelberg:
The clocks they are adjunctions: Denotational semantics for Clocked Type Theory. CoRR abs/1804.06687 (2018)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.