research
∙
06/15/2021
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms
Structural properties of large random maps and lambda-terms may be glean...
share
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
∙
03/11/2020
The Sequent Calculus of Skew Monoidal Categories
Szlachányi's skew monoidal categories are a well-motivated variation of ...
research
∙
04/27/2018
A theory of linear typings as flows on 3-valent graphs
Building on recently established enumerative connections between lambda ...
research
∙
03/27/2018