>

En relation avec le sujet du cours

Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire