Bjarke Bredow Bojesen

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Markov Random Field

Domain Specific

Top Venues

Publications

Hans Hüttel, Stian Lybech, Alexander Rønning Bendixen, Bjarke Bredow Bojesen
A generic type system for higher-order Ψ-calculi. Inf. Comput. 300 (2024)
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)