Lorenzo Gheri

According to our database, Lorenzo Gheri authored at least 19 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software.

Kirstin Peters, Lorenzo Gheri

CoRR, April, 2026

2024

The Concurrent Calculi Formalisation Benchmark.

Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon

Proceedings of the Coordination Models and Languages, 2024

2023

Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection.

Lorenzo Gheri, Nobuko Yoshida

Proc. ACM Program. Lang., April, 2023

Hybrid Multiparty Session Types - Full Version.

Lorenzo Gheri, Nobuko Yoshida

CoRR, 2023

Multicompatibility for Multiparty-Session Composition.

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2022

Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2022

Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

CoRR, 2022

Design-By-Contract for Flexible Multiparty Session Protocols.

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Dataset, March, 2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Dataset, March, 2021

Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS.

Lorenzo Gheri, Andrei Popescu

CoRR, 2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

CoRR, 2021

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

A Formalized General Theory of Syntax with Bindings: Extended Version.

Lorenzo Gheri, Andrei Popescu

J. Autom. Reason., 2020

A Very Gentle Introduction to Multiparty Session Types.

Nobuko Yoshida, Lorenzo Gheri

Proceedings of the Distributed Computing and Internet Technology, 2020

2019

A general theory of syntax with bindings.

Lorenzo Gheri

PhD thesis, 2019

Bindings as bounded natural functors.

Jasmin Christian Blanchette, Lorenzo Gheri, Andrei Popescu, Dmitriy Traytel

Proc. ACM Program. Lang., 2019

A General Theory of Syntax with Bindings.

Lorenzo Gheri, Andrei Popescu

Arch. Formal Proofs, 2019

2017

A Formalized General Theory of Syntax with Bindings.

Lorenzo Gheri, Andrei Popescu

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017