A parameterization process: from a functorial point of view

DOI10.1142/S0129054112500050MaRDI QIDQ2909193zbMATH OpenOpenAlexFDO

Authors César Domínguez, Dominique Duval

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)

Recommendations

• Functorial theory of parameterized specifications in a general specification framework
• scientific article; zbMATH DE number 4154448
• scientific article; zbMATH DE number 810100
• Bifibrational functorial semantics of parametric polymorphism
• Functorial approach structures
• scientific article; zbMATH DE number 2125667
• scientific article; zbMATH DE number 800106
• scientific article; zbMATH DE number 1665323
• Parametric parameter passing \(\lambda\)-calculus
• Some parametrized categorical concepts

Cites work

• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• A hidden agenda
• An object-oriented interpretation of the EAT system
• Diagrammatic logic applied to a parameterisation process
• Effective homology of bicomplexes, formalized in Coq
• Object oriented institutions to specify symbolic computation systems
• Specification of abstract data types
• Universal coalgebra: A theory of systems

Cited in

(4)

• scientific article; zbMATH DE number 810100 (Why is no real title available?)
• Parametric parameter passing \(\lambda\)-calculus
• Diagrammatic logic applied to a parameterisation process
• Logical rules as fractions and logics as sketches

Describes a project that uses

Uses Software

• EAT
• Kenzo

This page was built for publication: A parameterization process: from a functorial point of view

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