I agree that this site is using cookies. You can find further informations here.
X
Bojesen, Bjarke Bredow
4  results:
Search for persons X
?
1

Locations and session types in a language with higher-order..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control,
Tran, Michael ; Bendixen, Alexander Rønning ; Bojesen, Bjarke Bredow.. - p. 31-40 , 2019
Link: https://dl.acm.org/doi/1..
 
?
2

A Generic Type System for Higher-Order Ψ-calculi:

Bendixen, Alex Rønning ; Bojesen, Bjarke Bredow ; Hüttel, Hans.
https://vbn.aau.dk/da/publications/71194755-3a3e-4ee1-b726-8242e2f43332.  , 2022
Link: https://vbn.aau.dk/da/pu..
 
?
3

A Generic Type System for Higher-Order $\Psi$-calculi:

Bendixen, Alex Rønning ; Bojesen, Bjarke Bredow ; Hüttel, Hans.
http://arxiv.org/abs/2209.02354.  , 2022
Link: http://arxiv.org/abs/220..
 
?
4

The Prevalence of Pathogenic or Likely Pathogenic Germline ..:

Frostberg, Erik ; Petersen, Annabeth Høgh ; Bojesen, Anders...
Cancers.  13 (2021)  20 - p. 5094 , 2021
Link: https://doi.org/10.3390/..
 
1-4