Pages that link to "Item:Q2206780"

The following pages link to Towards probabilistic reasoning in type theory -- the intersection type case (Q2206780):

Displaying 3 items.

• Probabilistic approach to the lambda definability for fourth order types (Q2851692) (← links)
• A Type Theory for Probabilistic $$\lambda $$–calculus (Q3297838) (← links)
• (Q3384059) (← links)