Decomposing Probabilistic Lambda-Calculi - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Decomposing Probabilistic Lambda-Calculi

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
fossacs2020.pdf (337.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Ugo Dal Lago  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03120783

Soumis le : lundi 25 janvier 2021-19:34:31

Dernière modification le : jeudi 14 décembre 2023-13:56:06

Archivage à long terme le : lundi 26 avril 2021-19:30:12

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-COTEDAZUR ANR
28 Consultations
111 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More