research
∙
02/03/2023
Hybrid Multiparty Session Types – Full Version
Multiparty session types (MPST) are a specification and verification fra...
share
research
∙
05/13/2022
Design-by-Contract for Flexible Multiparty Session Protocols – Extended Version
Choreographic models support a correctness-by-construction principle in ...
research
∙
07/24/2021
Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS
We have previously published the Isabelle/HOL formalization of a general...
research
∙
03/18/2021