Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Kristian Stovring"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 4 (2012)
We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on predicates and types, which serve as guards in recursive definitions of te
Externí odkaz:
https://doaj.org/article/5bc5287ee86c491ca6b70f696b4b6227
Autor:
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Stovring, Jacob Thamsborg, Hongseok Yang
Over the last decade, there has been extensive research on modelling challenging features in programming languages and program logics, such as higher-order store and storable resource invariants. A recent line of work has identified a common solution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a0f8e818d8b85e0bb30503bd89ca47e
https://ora.ox.ac.uk/objects/uuid:f2d38299-0326-4633-b77e-6f5d3e7ee2ac
https://ora.ox.ac.uk/objects/uuid:f2d38299-0326-4633-b77e-6f5d3e7ee2ac
