research
∙
07/18/2023
Combining dependency, grades, and adjoint logic
We propose two new dependent type systems. The first, is a dependent gra...
share
research
∙
01/26/2022
A Dependent Dependency Calculus (Extended Version)
Over twenty years ago, Abadi et al. established the Dependency Core Calc...
research
∙
11/08/2020
A graded dependent type system with a usage-aware semantics (extended version)
Graded Type Theory provides a mechanism to track and reason about resour...
research
∙
10/25/2020
Graded Modal Dependent Type Theory
Graded type theories are an emerging paradigm for augmenting the reasoni...
research
∙
06/16/2020
Grading Adjoint Logic
We introduce a new logic that combines Adjoint Logic with Graded Necessi...
research
∙
01/28/2020
Unifying graded and parameterised monads
Monads are a useful tool for structuring effectful features of computati...
research
∙
04/15/2019
On the Lambek Calculus with an Exchange Modality
In this paper we introduce Commutative/Non-Commutative Logic (CNC logic)...
research
∙
01/21/2018
An Intuitionistic Linear Logical Semantics of SAND Attack Trees
In this paper we introduce a new logical foundation of SAND attack trees...
research
∙
01/21/2018