 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01400883v1
Communication dans un congrès
Ugo Dal Lago. Infinitary Lambda Calculi from a Linear Perspective Logic in Computer Science, Jul 2016, New York, United States. <10.1145/2933575.2934505> |
||
|
hal-01197456v2
Rapport
Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs (Long version) [Research Report] ENS Lyon. 2015 |
||
|
hal-00907665v1
Direction d'ouvrage, Proceedings
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova. Proceedings of Fifth Interaction and Concurrency Experience (ICE 2012) Marco Carbone and Ivan Lanese and Alexandra Silva and Ana Sokolova. 104, Open Publishing Association, pp.99, 2012, Electronic Proceedings in Theoretical Computer Science |
||
|
hal-00909389v1
Communication dans un congrès
Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session types revisited Danny De Schreye and Gerda Janssens and Andy King. Principles and Practice of Declarative Programming, PPDP'12, 2012, Unknown, ACM, pp.139--150, 2012 |
||
|
hal-00907322v1
Ouvrage (y compris édition critique et traduction)
Davide Sangiorgi, Jan Rutten. Advanced Topics in Bisimulation and Coinduction Davide Sangiorgi and Jan Rutten. Cambridge University Press, pp.340, 2012 |
||
|
hal-00907026v1
Ouvrage (y compris édition critique et traduction)
Davide Sangiorgi. Introduction to Bisimulation and Coinduction Cambridge University Press, pp.247, 2012 |
||
|
hal-00907029v1
Chapitre d'ouvrage
Davide Sangiorgi. Origins of Bisimulation and Coinduction Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012 |
||
|
hal-00909609v1
Article dans une revue
Simone Martini. Lingua Universalis Annali della Pubblica Istruzione, Le Monnier, 2012, 4-5, pp.65--70 |
||
|
hal-00909391v1
Chapitre d'ouvrage
Damien Pous, Davide Sangiorgi. Enhancements of the bisimulation proof method Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012 |
||
|
hal-00909383v1
Communication dans un congrès
Reiner Hähnle, Michiel Helvenstijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi et al. HATS Abstract Behavioral Specification: The Architectural View Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue. FMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. Springer Berlin / Heidelberg, 7542, pp.165--185, 2013, Lecture Notes in Computer Science; Formal Methods for Components and Objects. <10.1007/978-3-642-35887-6_6> |
||
|
hal-01227569v1
Communication dans un congrès
Davide Sangiorgi. The Proof Technique of Unique Solutions of Contractions Springer. 12th International Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. Lecture Notes in Computer Science (9399), pp.63--68, 2015, <10.1007/978-3-319-25150-9_5> |
||
|
hal-00798028v1
Article dans une revue
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Duality and i/o-Types in the π-Calculus Lecture notes in computer science, springer, 2012, 7454, pp 302-316 |
||
|
hal-00695352v1
Communication dans un congrès
Ugo Dal Lago, Claudia Faggian. On Multiplicative Linear Logic, Modality and Quantum Circuits Quantum Physics and Logic, 2011, Netherlands. pp.81-96, 2011 |
||
|
hal-00798298v1
Communication dans un congrès
Patrick Baillot, Ugo Dal Lago. Higher-Order Interpretations and Program Complexity Patrick Cegielski and Arnaud Durand. 21st Annual Conference of the EACSL, Computer Science Logic 2012 (CSL), Sep 2012, Fontainebleau, France. Schloss Dagstuhl, 16, pp.62-76, 2012, LIPIcs. <10.4230/LIPIcs.CSL.2012.62> |
||
|
hal-00904138v1
Communication dans un congrès
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types LICS - 28th Annual ACM/IEEE Symposium on Logic in Computer Science - 2013, 2013, New Orleans, United States. IEEE, pp.378-387, 2013, LICS. <10.1109/LICS.2013.44> |
||
|
hal-01284117v1
Communication dans un congrès
Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20), Nov 2015, Suva, Fiji |
||
|
hal-01400890v1
Communication dans un congrès
Johannes Borgström, Ugo Dal Lago, Andrew Gordon, Marcin Szymczak. A lambda-calculus foundation for universal probabilistic programming International Conference on Functional Programming, 2016, Nara, Japan. pp.33 - 46, 2016, <10.1145/2951913.2951942> |
||
|
hal-01474620v1
Communication dans un congrès
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu. The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects POPL 2017, Jan 2017, Paris, France. pp.833-845, 2017, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, January 15 - 21, 2017. <10.1145/3009837.3009859> |
||
|
inria-00514912v1
Communication dans un congrès
Ivan Lanese, Jorge Peréz, Davide Sangiorgi, Alan Schmitt. On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. Springer, 6199, pp.442--453, 2010, Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010) |
||
|
hal-00545256v1
Chapitre d'ouvrage
Maurizio Gabbrielli, Catuscia Palamidessi, Frank Valencia. Concurrent and Reactive Constraint Programming Agostino Dovier and Enrico Pontelli. A 25-Year Perspective on Logic Programming, Springer, pp.231-253, 2010, <10.1007/978-3-642-14309-0_11> |
||
|
hal-00818068v2
Pré-publication, Document de travail
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types 2013 |
||
|
hal-00798786v1
Communication dans un congrès
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Strong Normalisation in λ-Calculi with References FSEN, 2011, Iran. 7141, pp.128-142, 2011, <10.1007/978-3-642-29320-7_9> |
||
|
hal-01399694v1
Communication dans un congrès
Simone Martini. Several Types of Types in Programming Languages HaPoC 2015 - Third International Conference History and Philosophy of Computing, Oct 2015, Pisa, Italy. Springer, IFIP Advances in Information and Communication Technology, 487, pp.216 - 227, 2016, <https://hapoc2015.sciencesconf.org>. <10.1007/978-3-319-47286-7_15> |
||
|
hal-00798789v1
Communication dans un congrès
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Termination in Impure Concurrent Languages CONCUR'10, 2010, France. 6269, pp.328-342, 2010, <10.1007/978-3-642-15375-4_23> |
||
|
tel-01020998v1
Thèse
Ornela Dardha. Type Systems for Distributed Programs: Components and Sessions Programming Languages [cs.PL]. Università degli studi di Bologna, 2014. English |
||
|
hal-00990859v1
Communication dans un congrès
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi. Bisimulations up-to: beyond first-order transition systems CONCUR, Sep 2014, Rome, Italy. 2014, <10.1007/978-3-662-44584-6_8> |
||
|
tel-01090624v1
Thèse
Giulio Pellitta. Extending Implicit Computational Complexity and Abstract Machines to Languages with Control Programming Languages [cs.PL]. Università di Bologna, 2014. English |
||
|
hal-01090742v1
Communication dans un congrès
Marco Carbone, Ornela Dardha, Fabrizio Montesi. Progress as Compositional Lock-Freedom Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Jun 2014, Berlin, Germany |
||
|
hal-00909377v1
Communication dans un congrès
Jean-Bernard Stefani, Claudio Antares Mezzina, Ivan Lanese. Controlled Reversibility and Compensations Robert Gluck and Tetsuo Yokoyama. Proceedings of RC 2012, 4th Workshop on Reversible Computation, 2012, Unknown, Springer Verlag, 7581, pp.233--240, 2012, LNCS |
||
|
|
||