1. Implicit computation complexity in higher-order programming languages;Mathematical Structures in Computer Science;2022-03-15
2. The Space of Interaction;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. The (In)Efficiency of interaction;Proceedings of the ACM on Programming Languages;2021-01-04
4. The Machinery of Interaction;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08
5. UNIFICATION AND LOGARITHMIC SPACE;LOG METH COMPUT SCI;2018