research
∙
01/20/2023
System F^μ_ω with Context-free Session Types
We study increasingly expressive type systems, from F^μ – an extension o...
research
∙
03/31/2022
4DL: a four-valued Dynamic logic and its proof-theory
Transition systems are often used to describe the behaviour of software ...
research
∙
03/24/2022