Pages that link to "Item:Q3583026"
From MaRDI portal
The following pages link to Diagrammatic logic applied to a parameterisation process (Q3583026):
Displaying 5 items.
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
- Logical rules as fractions and logics as sketches (Q2198320) (← links)
- Mac Lane's comparison theorem for the Kleisli construction formalized in Coq (Q2209259) (← links)
- A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW (Q2909193) (← links)
