• Template
• kya
• Measurements in Proof Nets as Higher-Order Quantum Circuits
• Polemy
• Lambek Calculus and Substructural Logics
• String Diagrams for λ-calculi and Functional Computation
• Call-By-Push-Value
• 線形論理型言語のコンパイラ処理系のための抽象機械について
• Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
• Syntax and Semantics of Quantitative Type Theory
• A Relational Theory of Monadic Rewriting Systems, Part I
• Hypergraph Lambek Calculus
• The Mathematics of Sentence Structure
• From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality
• On the unity of logic
• Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types
• Lambek Calculus and Formal Grammars
• Linear Logic and Strong Normalization
• Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets
• Proof nets and the λ-calculus