Creative Commons
| 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 | ||