Recursion and Sequentiality in Categories of Sheaves
Recursion and Sequentiality in Categories of Sheaves
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.
- THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD United Kingdom
- University of Oxford United Kingdom
- Schloss Dagstuhl – Leibniz Center for Informatics Germany
- Leibniz Association Germany
Denotational semantics, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Category Theory, Sheaf toposes, CPOs, Theory of computation → Denotational semantics, 004, Logic in Computer Science (cs.LO), Theory of computation → Categorical semantics, Full abstraction, FOS: Mathematics, Recursion, Category Theory (math.CT), Programming Languages (cs.PL), ddc: ddc:004
Denotational semantics, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Category Theory, Sheaf toposes, CPOs, Theory of computation → Denotational semantics, 004, Logic in Computer Science (cs.LO), Theory of computation → Categorical semantics, Full abstraction, FOS: Mathematics, Recursion, Category Theory (math.CT), Programming Languages (cs.PL), ddc: ddc:004
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!