Login / Signup
Bjarke Bredow Bojesen
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 2
Top Topics
Knowledge Representation
Pairwise
Markov Random Field
Higher Order
Top Venues
EXPRESS/SOS
AGERE!@SPLASH
</>
Publications
</>
Alexander Rønning Bendixen
,
Bjarke Bredow Bojesen
,
Hans Hüttel
,
Stian Lasse Lybech
A Generic Type System for Higher-Order Ψ-calculi.
EXPRESS/SOS
(2022)
Michael Tran
,
Alexander Rønning Bendixen
,
Bjarke Bredow Bojesen
,
Hans Hüttel
,
Stian Lasse Lybech
Locations and session types in a language with higher-order reflection.
AGERE!@SPLASH
(2019)