@inproceedings{larsson-cooper-2021-bayesian,
    title = "{B}ayesian Classification and Inference in a Probabilistic Type Theory with Records",
    author = "Larsson, Staffan  and
      Cooper, Robin",
    editor = "Kalouli, Aikaterini-Lida  and
      Moss, Lawrence S.",
    booktitle = "Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA)",
    month = jun,
    year = "2021",
    address = "Groningen, the Netherlands (online)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2021.naloma-1.7/",
    pages = "51--59"
}