Follow
Lorenzo Gheri
Title
Cited by
Cited by
Year
A very gentle introduction to multiparty session types
N Yoshida, L Gheri
International Conference on Distributed Computing and Internet Technology, 73-93, 2019
272019
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes
D Castro-Perez, F Ferreira, L Gheri, N Yoshida
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
242021
Bindings as bounded natural functors
JC Blanchette, L Gheri, A Popescu, D Traytel
Proceedings of the ACM on Programming Languages 3 (POPL), 1-34, 2019
172019
A formalized general theory of syntax with bindings: Extended version
L Gheri, A Popescu
Journal of Automated Reasoning 64, 641-675, 2020
92020
A formalized general theory of syntax with bindings
L Gheri, A Popescu
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
92017
Design-by-contract for flexible multiparty session protocols
L Gheri, I Lanese, N Sayers, E Tuosto, N Yoshida
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022
82022
MIRTO: an open-source robotic platform for education
K Androutsopoulos, L Aristodemou, J Boender, M Bottone, E Currie, ...
Proceedings of the 3rd European Conference of Software Engineering Education …, 2018
42018
Hybrid Multiparty Session Types--Full Version
L Gheri, N Yoshida
arXiv preprint arXiv:2302.01979, 2023
22023
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection
L Gheri, N Yoshida
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 112-142, 2023
12023
Design-by-Contract for Flexible Multiparty Session Protocols--Extended Version
L Gheri, I Lanese, N Sayers, E Tuosto, N Yoshida
arXiv preprint arXiv:2205.06535, 2022
12022
Bindings as Bounded Natural Functors (Extended Version)
JC Blanchette, L Gheri, A Popescu, D Traytel
12019
Multicompatibility for multiparty-session composition
F Barbanera, M Dezani-Ciancaglini, L Gheri, N Yoshida
Proceedings of the 25th International Symposium on Principles and Practice …, 2023
2023
Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS
L Gheri, A Popescu
arXiv preprint arXiv:2107.11674, 2021
2021
A general theory of syntax with bindings
L Gheri
Middlesex University, 2019
2019
Universal Algebra for Syntax with Bindings
L Gheri
Automated Reasoning Workshop 2016 Bridging the Gap between Theory and …, 2016
2016
The Concurrent Calculi Formalisation Benchmark
M Carbone, D Castro-Perez, F Ferreira, L Gheri
Zooid: a DSL for Certified Multiparty Computation
D Castro-Perez, F Ferreira, L Gheri, N Yoshida
Hybrid Multiparty Session Types
L GHERI, N YOSHIDA
Bindings Are Functors
JC BLANCHETTE, L GHERI, A POPESCU, D TRAYTEL
General Bindings as Functors
JC BLANCHETTE, L GHERI, A POPESCU, D TRAYTEL
The system can't perform the operation now. Try again later.
Articles 1–20