Perri, Vincenzo, Gabriele DiBona, Luca Gallo, Christoph Gote, Jürgen Hackl, Desmond Higham, and Frank Schweitzer. 2021. “
Applications of Higher-Order Models”. Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. doi:10.4230/DagRep.11.7.139.