Decomposing Probabilistic Lambda-Calculi - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

Decomposing Probabilistic Lambda-Calculi

(1, 2) , (3) , (3)
1
2
3
Fichier principal
Vignette du fichier
fossacs2020.pdf (337.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03120783 , version 1 (25-01-2021)

Identifiers

Cite

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⟩
22 View
94 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More