Recursion and sequentiality in categories of sheaves - Matache, C; Moss, S; Staton, S (6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021)