A Formalized General Theory of Syntax with Bindings. - Lorenzo Gheri; Andrei Popescu 001 (ITP, 2017)

A General Theory of Syntax with Bindings. - Lorenzo Gheri; Andrei Popescu 001 (Arch. Formal Proofs, 2019)

Bindings as bounded natural functors. - Jasmin Christian Blanchette; Lorenzo Gheri; Andrei Popescu 001; Dmitriy Traytel (Proc. ACM Program. Lang., 2019)

A general theory of syntax with bindings. - Lorenzo Gheri (2019)

A Very Gentle Introduction to Multiparty Session Types. - Nobuko Yoshida; Lorenzo Gheri (ICDCIT, 2020)

A Formalized General Theory of Syntax with Bindings: Extended Version. - Lorenzo Gheri; Andrei Popescu 001 (J. Autom. Reason., 2020)

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (PLDI, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (CoRR, 2021)

Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS. - Lorenzo Gheri; Andrei Popescu 001 (CoRR, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (Zenodo, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (Zenodo, 2021)

Design-By-Contract for Flexible Multiparty Session Protocols. - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (ECOOP, 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 (Artifact). - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2022)

Multicompatibility for Multiparty-Session Composition. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Lorenzo Gheri; Nobuko Yoshida (PPDP, 2023)

Hybrid Multiparty Session Types - Full Version. - Lorenzo Gheri; Nobuko Yoshida (CoRR, 2023)

Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. - Lorenzo Gheri; Nobuko Yoshida (Proc. ACM Program. Lang., 2023)

The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)