Toward A Curry-Howard Perspective on Tree Automata

Handsome proof nets for MLL+Mix with forbidden transitions

Subatomic Proof Systems, Coherence Spaces and Post's Lattice

A linear/non-linear model for a quantum circuit description language

Using linear logic and proof theory to unify computational logic

Approximations, Fibrations and Intersection Type Systems

A theorem prover for a logical calculus of molecular biology

Gram: A linear functional language with graded modal types (extended abstract)

Smooth Differential Linear Logic and Partial Differential Equations

Coherence, Taylor expansion, and box-connected proof-structures

Graph rewriting and cyclic multiplicative linear logic

Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory

Normalization by Evaluation in Linear Logic