Skip to Main content Skip to Navigation
Conference papers

Decomposing Probabilistic Lambda-Calculi

Ugo Dal Lago 1, 2 Giulio Guerrieri 3 Willem Heijltjes 3
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03120783
Contributor : Ugo Dal Lago Connect in order to contact the contributor
Submitted on : Monday, January 25, 2021 - 7:34:31 PM
Last modification on : Wednesday, February 10, 2021 - 8:52:01 AM
Long-term archiving on: : Monday, April 26, 2021 - 7:30:12 PM

File

fossacs2020.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes. Decomposing Probabilistic Lambda-Calculi. FOSSACS 2020 - Foundations of Software Science and Computation Structures - 23rd International Conference, Apr 2020, Dublin, Ireland. pp.136-156, ⟨10.1007/978-3-030-45231-5_8⟩. ⟨hal-03120783⟩

Share

Metrics

Les métriques sont temporairement indisponibles