Decomposing Probabilistic Lambda-Calculi - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Decomposing Probabilistic Lambda-Calculi

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⟩
28 View
111 Download

Altmetric

Share

Gmail Facebook X LinkedIn More