research
∙
04/14/2022
Proof Theory of Skew Non-Commutative MILL
Monoidal closed categories naturally model NMILL, non-commutative multip...
share
research
∙
04/14/2022
Normalization by Evaluation for the Lambek Calculus
The syntactic calculus of Lambek is a deductive system for the multiplic...
research
∙
12/28/2021
Inductive and Coinductive Predicate Liftings for Effectful Programs
We formulate a framework for describing behaviour of effectful higher-or...
research
∙
01/26/2021
Proof Theory of Partially Normal Skew Monoidal Categories
The skew monoidal categories of Szlachányi are a weakening of monoidal c...
research
∙
01/11/2021
Deductive Systems and Coherence for Skew Prounital Closed Categories
In this paper, we develop the proof theory of skew prounital closed cate...
research
∙
04/03/2020
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Clocked Type Theory (CloTT) is a type theory for guarded recursion usefu...
research
∙
03/11/2020
The Sequent Calculus of Skew Monoidal Categories
Szlachányi's skew monoidal categories are a well-motivated variation of ...
research
∙
10/31/2018