The following pages link to Alessio Santamaria (Q2031558):
Displaying 8 items.
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- On Compositionality of Dinatural Transformations (Q5079758) (← links)
- (Q5208904) (← links)
- (Q6061668) (← links)
- Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)
