Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
It’s good to have you constructing this page. At some point I want to get round to thinking about probability theory meets type theory. I was rambling out loud in a thread starting about here.
Thank you for the edit - yeah, I’m so used to LaTeX.
About type theory and probability theory: it’s been a recurrent thought for me as well, but I don’t know enough about type theory to say something meaningful yet…
1 to 7 of 7