Pages that link to "Item:Q4580222"

The following pages link to A Type Theory for Probabilistic and Bayesian Reasoning (Q4580222):

Displaying 2 items.

• Universal Properties in Quantum Theory (Q3385637) (← links)
• Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)