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.
- C. Kupke, J. Rot. Expressive Logics for Coinductive Predicates. Logical Methods in Computer Science, special issue CSL 2020. Volume 3, issue 3.
- 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.
- F. Vaandrager and T. Wißmann. Action Codes. In Proceedings ICALP 2023.
