2026-07-22T01:29:30Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:14263 2024-03-06T10:53:17Z ddc:004 open_access

Recursion and Sequentiality in Categories of Sheaves Matache, Cristina Moss, Sean Staton, Sam Denotational semantics Full abstraction Recursion Sheaf toposes CPOs We present a fully abstract model of a call-by-value language with higher-order functions, recursion and natural numbers, as an exponential ideal in a topos. Our model is inspired by the fully abstract models of O'Hearn, Riecke and Sandholm, and Marz and Streicher. In contrast with semantics based on cpo’s, we treat recursion as just one feature in a model built by combining a choice of modular components. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Cristina Matache and Sean Moss and Sam Staton 2021 Is Part Of LIPIcs, Volume 195, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSCD.2021.25 urn:nbn:de:0030-drops-142631 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.25 eng https://creativecommons.org/licenses/by/4.0/legalcode