scientific article; zbMATH DE number 1088040
From MaRDI portal
Publication:4364388
zbMath0882.18006MaRDI QIDQ4364388
Robert D. Tennent, Yoshiki Kinoshita, A. John Power, Makoto Takeyama, Peter W. O'Hearn
Publication date: 15 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
programming languagedata refinementsoundnesslogical relationsabstract data typessemantic categorymonad on category of small categoriessketches for associated monad
Abstract data types; algebraic specification (68Q65) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (6)
Logical relations and parametricity -- a Reynolds programme for category theory and programming languages ⋮ Comprehensive Parametric Polymorphism: Categorical Models and Type Theory ⋮ Category Theoretic Models of Data Refinement ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages ⋮ Objects and classes in Algol-like languages ⋮ Prelogical relations
This page was built for publication:
