Healthiness from Duality

DOI10.1145/2933575.2935319zbMath1401.68042arXiv1605.00381OpenAlexW2347010600MaRDI QIDQ4635931

Ichiro Hasuo, Wataru Hino, Hiroki Kobayashi, Bart Jacobs

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

dualitycategory theoryprogram logic

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Logic in computer science (03B70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Weakest preconditions in fibrations ⋮ A unified framework for notions of algebraic theory ⋮ Unnamed Item ⋮ Steps and traces ⋮ Weakest preconditions in fibrations ⋮ Unnamed Item

This page was built for publication: Healthiness from Duality