A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW
From MaRDI portal
Publication:2909193
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
Related Items (1)
Uses Software
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