Bayesian Classification and Inference in a Probabilistic Type Theory with Records Staffan Larsson author Robin Cooper author 2021-06 text Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA) Aikaterini-Lida Kalouli editor Lawrence S Moss editor Association for Computational Linguistics Groningen, the Netherlands (online) conference publication larsson-cooper-2021-bayesian https://aclanthology.org/2021.naloma-1.7/ 2021-06 51 59