Preface T. A. Henzinger and D. Miller | ||
Preservation and decomposition theorems for bounded degree structures | ||
Frederik Harwath, Lucas Heimberg and Nicole Schweikardt | ||
Proof equivalence in MLL is PSPACE-complete | ||
Willem Heijltjes and Robin Houston | ||
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed | ||
Beniamino Accattoli and Ugo Dal Lago | ||
On the characterization of models of H* | ||
Flavien Breuvart | ||