QPEL

swMATH39236MaRDI QIDQ54936FDOQ54936

Author name not available (Why is that?)

Cited In (2)

• Affine Monads and Side-Effect-Freeness
• A Type Theory for Probabilistic and Bayesian Reasoning

This page was built for software: QPEL