Bayesian Classification and Inference in a Probabilistic Type Theory with Records

Staffan Larsson | Robin Cooper |

Paper Details:

Month: June
Year: 2021
Location: Groningen, the Netherlands (online)
Venue: IWCS | NALOMA |
SIG: SIGSEM

Citations

URL

No Citations Yet

Field Of Study