The following pages link to Diagrammatic specifications (Q4811557):
Displaying 4 items.
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- Logical rules as fractions and logics as sketches (Q2198320) (← links)
- Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
