Reading List

A selection of papers and books I've been reading.

• Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types

  Thien Udomsrirungruang and Nobuko Yoshida · POPL 2025

• Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols

  Kai Pischke and Nobuko Yoshida · OOPSLA 2026

• A Sound and Complete Projection for Global Types

  Dawit Tirore, Jesper Bengtson, and Marco Carbone · ITP 2023

• Precise subtyping for synchronous multiparty sessions

  Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, and Nobuko Yoshida · EPTCS 203 2016

• Type theory in a type theory with quotient inductive types

  Ambrus Kaposi · PhD thesis, University of Nottingham 2017

• Linear Types with Dynamic Multiplicities in Dependent Type Theory (Functional Pearl)

  Maximilian Doré · ICFP 2025

• Substructural Parametricity

  C. B. Aberlé, Karl Crary, Chris Martens, and Frank Pfenning · FSCD 2025

• Homotopy Type Theory: Univalent Foundations of Mathematics

  The Univalent Foundations Program · Book, Institute for Advanced Study 2013