Papers
Some representative publications from our group in this area:
- H. Geuvers, B. Jacobs. Relating Apartness and Bisimulation. Logical Methods in Computer Science 17(3) (2021).
- D. Frumin, H. Geuvers, L. Gondelman, N. van der Weide. Finite sets in homotopy type theory. CPP’18, January 8–9, 2018, Los Angeles, CA, USA, pp. 201--214, ACM 2018.
- M. Sammler, S. Spies, Y. Song, E. D'Osualdo, R. Krebbers, D. Garg and D. Dreyer. DimSum: A Decentralized Approach to Multi-language Semantics and Verification. In ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
- C. Kop, D. Vale. Tuple Interpretations for Higher-Order Complexity. In FSCD'21, July 17-24, 2021, Buenos Aires, Argentina, pp. 31:1--31:22, Dagstuhl.
