E-LIB Suche - Ergebnisse für: de'Liguoro, Ugo

1

YACC: Yet Another Church Calculus: A Birthday Present for H..:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo. - p. 17-35 , 2024

Link: https://doi.org/10.1007/..

2

From semantics to types: The case of the imperative λ-calcu..:

de'Liguoro, Ugo ; Treglia, Riccardo
Theoretical Computer Science. 973 (2023) - p. 114082 , 2023

Link: https://doi.org/10.1016/..

3

Open Compliance in Multiparty Sessions:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo - p. 222-243 , 2022

Link: https://doi.org/10.1007/..

4

Towards refinable choreographies:

de'Liguoro, Ugo ; Melgratti, Hernán ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming. 127 (2022) - p. 100776 , 2022

Link: https://doi.org/10.1016/..

5

Intersection types for a λ-calculus with global store:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,

de'Liguoro, Ugo ; Treglia, Riccardo - p. 1-11 , 2021

Link: https://dl.acm.org/doi/1..

6

The untyped computational λ-calculus and its intersection t..:

de'Liguoro, Ugo ; Treglia, Riccardo
Theoretical Computer Science. 846 (2020) - p. 141-159 , 2020

Link: https://doi.org/10.1016/..

7

Two notions of sub-behaviour for session-based client/serve..:

, In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming,

Barbanera, Franco ; de'Liguoro, Ugo - p. 1-3 , 2020

Link: https://dl.acm.org/doi/1..

8

Connecting open systems of communicating finite state machi..:

Barbanera, Franco ; de'Liguoro, Ugo ; Hennicker, Rolf
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100476 , 2019

Link: https://doi.org/10.1016/..

9

Session types and subtyping for orchestrated interactions:

Barbanera, Franco ; de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 102 (2019) - p. 103-137 , 2019

Link: https://doi.org/10.1016/..

10

A theory of retractable and speculative contracts:

Barbanera, Franco ; Lanese, Ivan ; de'Liguoro, Ugo
Science of Computer Programming. 167 (2018) - p. 25-50 , 2018

Link: https://doi.org/10.1016/..

11

Orchestrated session compliance:

Barbanera, Franco ; van Bakel, Steffen ; de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 30-76 , 2017

Link: https://doi.org/10.1016/..

12

Reversible client/server interactions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo
Formal Aspects of Computing. 28 (2016) 4 - p. 697-722 , 2016

Link: https://doi.org/10.1007/..

13

The approximation theorem for the Λμ-calculus:

DE'LIGUORO, UGO
Mathematical Structures in Computer Science. 27 (2015) 5 - p. 560-580 , 2015

Link: https://doi.org/10.1017/..

14

Sub-behaviour relations for session-based client/server sys..:

BARBANERA, FRANCO ; DE'LIGUORO, UGO
Mathematical Structures in Computer Science. 25 (2014) 6 - p. 1339-1381 , 2014

Link: https://doi.org/10.1017/..

15

Interactive Realizers: A New Approach to Program Extraction..:

Berardi, Stefano ; de'Liguoro, Ugo
ACM Transactions on Computational Logic. 13 (2012) 2 - p. 1-21 , 2012

Link: https://doi.org/10.1145/..