- René Thiemann, Akihisa Yamada:
A Verified Algorithm for Deciding Pattern Completeness. FSCD 2024: 27:1-27:17 - Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi:
On Iteration in Discrete Probabilistic Programming. FSCD 2024: 20:1-20:21 - Niels van der Weide:
Univalent Enriched Categories and the Enriched Rezk Completion. FSCD 2024: 4:1-4:19 - Front Matter, Table of Contents, Preface, Conference Organization. FSCD 2024: 0:i-0:xviii
- Jakob Rehof:
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia. LIPIcs 299, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-323-2 [contents]