Login / Signup
Stian Lasse Lybech
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
Pairwise
Reflective Learning
Markov Random Field
Higher Order
Top Venues
EXPRESS/SOS
AGERE!@SPLASH
</>
Publications
</>
Stian Lasse Lybech
Encodability and Separation for a Reflective Higher-Order Calculus.
EXPRESS/SOS
(2022)
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)