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

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

de'Liguoro, Ugo ; Treglia, Riccardo
volume:973. , 2023

Link: https://hdl.handle.net/2..

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

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/..

6

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..

7

On reduction and normalization in the computational core:

Faggian, Claudia ; Guerrieri, Giulio ; de'Liguoro, Ugo.
http://arxiv.org/abs/2104.10267. , 2021

Link: http://arxiv.org/abs/210..

8

Front Matter, Table of Contents, Preface, Conference Organi..:

de'Liguoro, Ugo ; Berardi, Stefano ; Altenkirch, Thorsten
doi:10.4230/LIPIcs.TYPES.2020.0. , 2021

Link: https://doi.org/10.4230/..

9

Intersection Types for a Computational Lambda-Calculus with..:

de'Liguoro, Ugo ; Treglia, Riccardo
http://arxiv.org/abs/2104.01358. , 2021

Link: http://arxiv.org/abs/210..

10

LIPIcs, Volume 188, TYPES 2020, Complete Volume:

de'Liguoro, Ugo ; Berardi, Stefano ; Altenkirch, Thorsten
doi:10.4230/LIPIcs.TYPES.2020. , 2021

Link: https://doi.org/10.4230/..

11

Intersection Types for a Computational lambda-Calculus with..:

Ugo de'Liguoro ; Riccardo Treglia
ispartofbook:TYPES 2021. , 2021

Link: http://hdl.handle.net/23..

12

From Semantics to Types: the Case of the Imperative lambda-..:

de'Liguoro, Ugo ; Treglia, Riccardo
http://arxiv.org/abs/2112.14053. , 2021

Link: http://arxiv.org/abs/211..

13

26th International Conference on Types for Proofs and Progr..:

Ugo de'Liguoro ; Stefano Berardi ; Thorsten Altenkirch.
info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-182-5. , 2021

Link: http://hdl.handle.net/23..

14

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..

15

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/..