Sfoglia per Autore
Retractable and Speculative Contracts
2017-01-01 Barbanera, Franco; Lanese, Ivan; De’Liguoro, Ugo
Retractability, games and orchestrators for session contracts
2017-01-01 Barbanera F.; De' Liguoro U.
Non-monotonic Pre-fix Points and Learning
2017-01-01 Berardi, Stefano; de’ Liguoro, Ugo
The approximation theorem for the Λμ-calculus
2017-01-01 de' Liguoro, Ugo
Proceedings of the Workshop on Continuations
2016-01-01 Olivier, Danvy; Ugo, De'Liguoro
A Game Interpretation of Retractable Contracts
2016-01-01 Barbanera, Franco; de’ Liguoro, Ugo
Reversible client/server interactions
2016-01-01 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; De’Liguoro, Ugo
A realizability interpretation for intersection and union types
2016-01-01 Dougherty, Daniel J.; De’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude
Secure Multiparty Sessions with Topics
2016-01-01 Castellani, Ilaria; Dezani, Mariangiola; De'Liguoro, Ugo
Mixin Composition Synthesis Based on Intersection Types
2015-01-01 Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob
Typing Classes and Mixins with Intersection Types
2015-01-01 Jan Bessai; Boris D\"udder; Andrej Dudenhefner; Chen Tzu-Chun; De'Liguoro, Ugo
Orchestrated Session Compliance
2015-01-01 Barbanera Franco; Steffen van Bakel; De'Liguoro, Ugo
Knowledge Spaces and the Completeness of Learning Strategies
2014-01-01 Stefano Berardi; Ugo de'Liguoro
Compliance for reversible client/server interactions
2014-01-01 F. Barbanera; M. Dezani; U. de'Liguoro
Sub-behaviour relations for session-based client/server systems
2014-01-01 Barbanera, Franco; De'Liguoro, Ugo
Loosening the notions of compliance and sub-behaviour in client/server systems
2014-01-01 F. Barbanera; U. de'Liguoro
Control Operators and their Semantics
2013-01-01 Ugo de'Liguoro; Alexis Saurin
Characterisation of Strongly Normalising lambda-mu-Terms
2013-01-01 Steffen van Bakel; FrancoBarbanera; Ugo de'Liguoro
Non-monotonic Pre-fixed Points and Learning
2013-01-01 Stefano Berardi; Ugo de'Liguoro
Knowledge Spaces and the Completeness of Learning Strategies
2012-01-01 Stefano Berardi; Ugo de'Liguoro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Retractable and Speculative Contracts | 2017 | Barbanera, Franco; Lanese, Ivan; De’Liguoro, Ugo | |
Retractability, games and orchestrators for session contracts | 2017 | Barbanera F.; De' Liguoro U. | |
Non-monotonic Pre-fix Points and Learning | 2017 | Berardi, Stefano; de’ Liguoro, Ugo | |
The approximation theorem for the Λμ-calculus | 2017 | de' Liguoro, Ugo | |
Proceedings of the Workshop on Continuations | 2016 | Olivier, Danvy; Ugo, De'Liguoro | |
A Game Interpretation of Retractable Contracts | 2016 | Barbanera, Franco; de’ Liguoro, Ugo | |
Reversible client/server interactions | 2016 | Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; De’Liguoro, Ugo | |
A realizability interpretation for intersection and union types | 2016 | Dougherty, Daniel J.; De’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude | |
Secure Multiparty Sessions with Topics | 2016 | Castellani, Ilaria; Dezani, Mariangiola; De'Liguoro, Ugo | |
Mixin Composition Synthesis Based on Intersection Types | 2015 | Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob | |
Typing Classes and Mixins with Intersection Types | 2015 | Jan Bessai; Boris D\"udder; Andrej Dudenhefner; Chen Tzu-Chun; De'Liguoro, Ugo | |
Orchestrated Session Compliance | 2015 | Barbanera Franco; Steffen van Bakel; De'Liguoro, Ugo | |
Knowledge Spaces and the Completeness of Learning Strategies | 2014 | Stefano Berardi; Ugo de'Liguoro | |
Compliance for reversible client/server interactions | 2014 | F. Barbanera; M. Dezani; U. de'Liguoro | |
Sub-behaviour relations for session-based client/server systems | 2014 | Barbanera, Franco; De'Liguoro, Ugo | |
Loosening the notions of compliance and sub-behaviour in client/server systems | 2014 | F. Barbanera; U. de'Liguoro | |
Control Operators and their Semantics | 2013 | Ugo de'Liguoro; Alexis Saurin | |
Characterisation of Strongly Normalising lambda-mu-Terms | 2013 | Steffen van Bakel; FrancoBarbanera; Ugo de'Liguoro | |
Non-monotonic Pre-fixed Points and Learning | 2013 | Stefano Berardi; Ugo de'Liguoro | |
Knowledge Spaces and the Completeness of Learning Strategies | 2012 | Stefano Berardi; Ugo de'Liguoro |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile