Creative Commons
| Preface P. Baillot, M. Grohe, S. Kreutzer | ||
| Formalizing Randomized Matching Algorithms | ||
| Dai Tri Man Le and Stephen A. Cook | ||
| Isomorphisms of types in the presence of higher-order references (extended version) | ||
| Pierre Clairambault | ||
| First steps in synthetic guarded domain theory: step-indexing in the topos of trees | ||
| Lars Birkedal, Rasmus Ejle Møgelberg, Jan Schwinghammer and Kristian Støvring | ||
| Linear Dependent Types and Relative Completeness | ||
| Ugo Dal Lago and Marco Gaboardi | ||
| Markov Decision Processes with Multiple Long-run Average Objectives | ||
| Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt and Antonín Kučera | ||
| Automata theory in nominal sets | ||
| Mikołaj Bojańczyk, Bartek Klin and Sławomir Lasota | ||