Robustly Parameterised Higher-Order Probabilistic Models.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier

Browse the full CONCUR paper archive.