Time warps, from algebra to algorithms

DOI10.1007/978-3-030-88701-8_19OpenAlexW3208296375MaRDI QIDQ2695363

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

Publication date: 30 March 2023

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

zbMATH Keywords

programming languagesuniversal algebratype systemsgraded modalitiesresiduated latticesdecision procedures

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Deciding Equations in the Time Warp Algebra

Uses Software

• Coq
• z3
• OCaml
• Agda

Cites Work

• Unnamed Item
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• Residuated lattices. An algebraic glimpse at substructural logics
• Duality for double quasioperator algebras via their canonical extensions
• Towards a Formal Theory of Graded Monads
• Synchronous Kahn networks
• Combining effects and coeffects via grading
• THE STRUCTURE OF RESIDUATED LATTICES
• First steps in synthetic guarded domain theory: step-indexing in the topos of trees
• The Involutive Quantaloid of Completely Distributive Lattices
• A Generalized Modality for Recursion
• Bounded Linear Types in a Resource Semiring
• On the elementary theory of linear order
• Verification, Model Checking, and Abstract Interpretation

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