research
∙
02/09/2021
Native Type Theory
We present a method to construct "native" type systems for a broad class...
share
research
∙
10/15/2020
Abstract Congruence Criteria for Weak Bisimilarity
We introduce three general compositionality criteria over operational se...
research
∙
05/14/2019
