Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

7 résultats
Page :
triés par
Image document

A Strong Distillery

 Beniamino Accattoli , Pablo Barenbaum , Damiano Mazza
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Nov 2015, Pohang, South Korea. pp.231-250, ⟨10.1007/978-3-319-26529-2_13⟩
Communication dans un congrès hal-01244838v1
Image document

Intersection Types and Runtime Errors in the Pi-Calculus

 Ugo Dal Lago , Marc de Visme , Damiano Mazza , Akira Yoshimizu
Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290320⟩
Article dans une revue hal-02399565v1

Linear logic by levels and bounded time complexity

 Patrick Baillot , Damiano Mazza
Theoretical Computer Science, 2010, 411 (2), pp. 470--503. ⟨10.1016/j.tcs.2009.09.015⟩
Article dans une revue hal-00488531v1
Image document

Backpropagation in the Simply Typed Lambda-Calculus with Linear Negation

 Aloïs Brunel , Damiano Mazza , Michele Pagani
Proceedings of the ACM on Programming Languages, 2020
Article dans une revue hal-02400927v1
Image document

A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic

 Damiano Mazza , Luc Pellissier
Internation Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. pp.144-161, ⟨10.1007/978-3-319-25150-9_10⟩
Communication dans un congrès hal-01183520v2
Image document

Polynomial time over the reals with parsimony

 Emmanuel Hainry , Damiano Mazza , Romain Péchoux
FLOPS 2020 - International Symposium on Functional and Logic Programming, Apr 2020, Akita, Japan
Communication dans un congrès hal-02499149v1
Image document

Polyadic Approximations in Logic and Computation

 Damiano Mazza
Logic in Computer Science [cs.LO]. Université Paris 13, 2017
HDR tel-04238579v1
Page :