scientific article
From MaRDI portal
Publication:2722025
zbMath0966.68117MaRDI QIDQ2722025
Yoshiki Kinoshita, A. John Power
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (3)
Lawvere theories enriched over a general base ⋮ Category Theoretic Models of Data Refinement ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages
This page was built for publication:
