Recursion and sequentiality in categories of sheaves (6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021)

(untitled) - Matache, C; Moss, S; Staton, S