Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
From MaRDI portal
Publication:4589616
DOI10.3233/FI-2017-1475zbMath1375.68042arXiv1603.05214MaRDI QIDQ4589616
Publication date: 10 November 2017
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1603.05214
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Unnamed Item, Lewis meets Brouwer: constructive strict implication, Unifying Guarded and Unguarded Iteration, A metalanguage for guarded iteration, Unnamed Item, Unnamed Item