Eduardo Bonelli

Available identifiers

zbMath Open bonelli.eduardoMaRDI QIDQ408546

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2851319	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2848666	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
de Bruijn Indices for Metaterms	2006-02-21	Paper
Relating Higher-order and First-order Rewriting	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eduardo Bonelli