Enviar aquest missatge de text: Linking Theories in Probabilistic Programming