research
∙
11/11/2022
Under Lock and Key: A Proof System for a Multimodal Logic
We present a proof system for a multimodal logic, based on our previous ...
share
research
∙
11/30/2020
Multimodal Dependent Type Theory
We introduce MTT, a dependent type theory which supports multiple modali...
research
∙
10/26/2020
Client-Server Sessions in Linear Logic
We introduce coexponentials, a new set of modalities for Classical Linea...
research
∙
11/11/2019
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)
The main way of analyzing the complexity of a program is that of extract...
research
∙
09/21/2018
Modalities, Cohesion, and Information Flow
It is informally understood that the purpose of modal type constructors ...
research
∙
12/26/2017