Eduardo Bonelli

Available identifiers

zbMath Open bonelli.eduardoMaRDI QIDQ408546

List of research outcomes

Publication	Date of Publication	Type
Reductions in higher-order rewriting and their equivalence	2024-09-25	Paper
A strong bisimulation for a classical term calculus	2024-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q5874189	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5111900	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111304	2020-05-26	Paper
Typed path polymorphism	2019-06-25	Paper
Justification logic and audited computation	2019-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4580227	2018-08-13	Paper
Type soundness for path polymorphism	2018-04-23	Paper
The first-order hypothetical logic of proofs	2018-02-13	Paper
On abstract normalisation beyond neededness	2018-02-09	Paper
Hypothetical logic of proofs	2015-02-05	Paper
A nonstandard standardization theorem	2014-04-10	Paper
The linear logical abstract machine	2013-10-10	Paper
Typechecking safe process synchronization	2013-09-26	Paper
Justification logic as a foundation for certifying mobile computation	2012-04-10	Paper
Justification logic and history based computation	2010-08-31	Paper
The Logic of Proofs as a Foundation for Certifying Mobile Computation	2009-02-24	Paper
The Intensional Lambda Calculus	2008-01-04	Paper
Boxed ambients with communication interfaces	2007-09-06	Paper
Theoretical Computer Science	2006-11-01	Paper
Relating Higher-order and First-order Rewriting	2006-02-21	Paper
de Bruijn Indices for Metaterms	2006-02-21	Paper
Mathematical Foundations of Computer Science 2004	2005-08-22	Paper
Correspondence assertions for process synchronization in concurrent communications	2005-05-03	Paper
Normalisation for higher-order calculi with explicit substitutions	2005-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4417857	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2778870	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723891	2001-07-08	Paper
Perpetuality in a named lambda calculus with explicit substitutions	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4945226	2000-08-23	Paper

Research outcomes over time

This page was built for person: Eduardo Bonelli