Pages that link to "Item:Q5739447"

The following pages link to Lawvere Categories as Composed PROPs (Q5739447):

Displaying 2 items.

• A predicate/state transformer semantics for Bayesian learning (Q1744386) (← links)
• (Q5140265) (← links)