A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW

DOI10.1142/S0129054112500050zbMath1269.68064OpenAlexW2109909359MaRDI QIDQ2909193

Dominique Duval, César Domínguez

Publication date: 30 August 2012

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054112500050

zbMATH Keywords

symbolic computation systemcategorical formalizationparameterization process

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items (1)

Logical rules as fractions and logics as sketches

Uses Software

• Kenzo
• EAT

Cites Work

• Effective homology of bicomplexes, formalized in Coq
• An object-oriented interpretation of the EAT system
• A hidden agenda
• Universal coalgebra: A theory of systems
• Diagrammatic logic applied to a parameterisation process
• Object oriented institutions to specify symbolic computation systems
• Unnamed Item
• Unnamed Item

This page was built for publication: A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW