Time warps, from algebra to algorithms

DOI10.1007/978-3-030-88701-8_19MaRDI QIDQ2695363zbMATH OpenOpenAlexFDO

Authors Samuel J. van Gool, Adrien Guatto, George Metcalfe, Simon Santschi

Publication date 30 March 2023

Full work available at URL https://arxiv.org/abs/2106.06205

zbMATH Keywords

decision proceduresgraded modalitiesprogramming languagesresiduated latticestype systemsuniversal algebra

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A Generalized Modality for Recursion
• Bounded Linear Types in a Resource Semiring
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• Combining effects and coeffects via grading
• Duality for double quasioperator algebras via their canonical extensions
• First steps in synthetic guarded domain theory: step-indexing in the topos of trees
• scientific article; zbMATH DE number 3601634 (Why is no real title available?)
• On the elementary theory of linear order
• Residuated lattices. An algebraic glimpse at substructural logics
• Synchronous Kahn networks
• The Involutive Quantaloid of Completely Distributive Lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• Towards a formal theory of graded monads
• Verification, Model Checking, and Abstract Interpretation

Cited in

(4)

• An Algebraic Approach to Time-Span Reduction
• Deciding Equations in the Time Warp Algebra
• Time Warps, from Algebra to Algorithms
• Weakening relations over duals of limit ordinals

Describes a project that uses

Uses Software

• Coq
• OCaml
• Agda
• z3

This page was built for publication: Time warps, from algebra to algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2695363)