1. Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation;Aristizábal;Logical Methods in Computer Science,2017
2. Monoidal company for accessible functors;Basold,2017
3. Proving soundness of extensional normal-form bisimilarities;Biernacki;Electronic Notes in Theoretical Computer Science,2017
4. Coinduction up-to in a fibrational setting;Bonchi,2014
5. Up-to techniques using sized types;Danielsson;PACMPL,2018