Interaction Automata and the ia2d Interpreter. - Stéphane Gimenez; David Obwaller (FSCD, 2016)

Type-based analysis of logarithmic amortised complexity. - Martin Hofmann 001; Lorenz Leutgeb; David Obwaller; Georg Moser; Florian Zuleger (Math. Struct. Comput. Sci., 2022)