Pages that link to "Item:Q5246719"
From MaRDI portal
The following pages link to Bialgebraic Semantics for Logic Programming (Q5246719):
Displayed 7 items.
- Logic programming: laxness and saturation (Q1994355) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- (Q4989395) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- (Q5875350) (← links)