Recursion and Sequentiality in Categories of Sheaves
Cristina Matache‚ Sean K. Moss and Sam Staton
Book Title
6th International Conference on Formal Structures for Computation and Deduction‚ FSCD 2021‚ July 17−24‚ 2021‚ Buenos Aires‚ Argentina (Virtual Conference)
Editor
Naoki Kobayashi
Pages
25:1–25:22
Publisher
Schloss Dagstuhl − Leibniz−Zentrum für Informatik
Series
LIPIcs
Volume
195
Year
2021