# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorPaoloPerrone
• CommentTimeOct 11th 2019

Created page, more to come.

• CommentRowNumber2.
• CommentAuthorPaoloPerrone
• CommentTimeOct 11th 2019

There are many dead links for now - in the coming weeks, I will create all the relevant articles/sections.

• CommentRowNumber3.
• CommentAuthorPaoloPerrone
• CommentTimeOct 20th 2019

• CommentRowNumber4.
• CommentAuthorPaoloPerrone
• CommentTimeJan 22nd 2020

• CommentRowNumber5.
• CommentAuthorDavid_Corfield
• CommentTimeJan 23rd 2020

Just to note, Paolo, that you have to separate letters in Itex for it to render properly. I’ve just done this for $d p$ in the integral in section 4.

• CommentRowNumber6.
• CommentAuthorDavid_Corfield
• CommentTimeJan 23rd 2020

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.

• CommentRowNumber7.
• CommentAuthorPaoloPerrone
• CommentTimeJan 23rd 2020

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…

• CommentRowNumber8.
• CommentAuthorDavid_Corfield
• CommentTimeJul 26th 2022