Pages that link to "Item:Q5372012"

The following pages link to Backtracking with cut via a distributive law and left-zero monoids (Q5372012):

Displaying 4 items.

• A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
• (Q5028467) (← links)
• (Q5089251) (← links)
• Correspondence between composite theories and distributive laws (Q6666781) (← links)