Diagrammatic logic applied to a parameterisation process
From MaRDI portal
Publication:3583026
DOI10.1017/S0960129510000150zbMath1204.03059OpenAlexW2004740429MaRDI QIDQ3583026
César Domínguez, Dominique Duval
Publication date: 26 August 2010
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129510000150
specification2-categoryparameter passingdiagrammatic logics2-morphismsmorphism of logicsparameterisation process
Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30)
Related Items (5)
A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW ⋮ Deduction as reduction, from a categorical point of view ⋮ Logical rules as fractions and logics as sketches ⋮ Effective homology of bicomplexes, formalized in Coq ⋮ Mac Lane's comparison theorem for the Kleisli construction formalized in Coq
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Generalized sketches as a framework for completeness theorems. I-III
- Institution morphisms
- An object-oriented interpretation of the EAT system
- A hidden agenda
- Universal coalgebra: A theory of systems
- Diagrammatic specifications
- Object oriented institutions to specify symbolic computation systems
This page was built for publication: Diagrammatic logic applied to a parameterisation process
