Diagrammatic logic applied to a parameterisation process

DOI10.1017/S0960129510000150MaRDI QIDQ3583026zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

2-category2-morphismsdiagrammatic logicsmorphism of logicsparameter passingparameterisation processspecification

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Diagrammatic specifications
• Publication:4941925
• Elementary Diagrams in Institutions
• A parameterization process: from a functorial point of view
• Generalized constraint diagrams and the classical decision problem

Cites work

• A hidden agenda
• An object-oriented interpretation of the EAT system
• Diagrammatic specifications
• Generalized sketches as a framework for completeness theorems. I-III
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• Institution morphisms
• Object oriented institutions to specify symbolic computation systems
• Universal coalgebra: A theory of systems

Cited in

(7)

• Logical rules as fractions and logics as sketches
• Mac Lane's comparison theorem for the Kleisli construction formalized in Coq
• A parameterization process: from a functorial point of view
• Deduction as reduction, from a categorical point of view
• Ologisms
• scientific article; zbMATH DE number 1418362 (Why is no real title available?)
• Effective homology of bicomplexes, formalized in Coq

Describes a project that uses

Uses Software

• EAT

This page was built for publication: Diagrammatic logic applied to a parameterisation process

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3583026)