4 citations · 8 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2009
A parameterization process, functorially
César Dominguez, Dominique Duval
The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. This parameterization proc…
cs.LO2009★ 4 cited
Diagrammatic logic applied to a parameterization process
Cesar Dominguez, Dominique Duval
This paper provides an abstract definition of some kinds of logics, called diagrammatic logics, together with a definition of morphisms and of 2-morphisms between diagrammatic logi…
cs.LO2009★ 4 cited
A parameterization process as a categorical construction
Dominique Duval, César Dominguez
The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. This parameterization proc…