Cited By
View all- Genco F(2024)A Logic of Knowledge and Justifications, with an Application to Computational TrustStudia Logica10.1007/s11225-024-10165-7Online publication date: 31-Dec-2024
- Dahlqvist FSilva ASmith W(2023)Deterministic stream-sampling for probabilistic programming: semantics and verification2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS56636.2023.10175773(1-13)Online publication date: 26-Jun-2023
- Faggian CRocca SBouyer P(2019)Lambda calculus and probabilistic computationProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470186(1-13)Online publication date: 24-Jun-2019
- Show More Cited By