Eduardo Bonelli

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 16

Top Topics

Database Programming Language

Classical Logic

Top Venues

Theor. Comput. Sci.

J. Log. Comput.

Publications

Eduardo Bonelli, Delia Kesner, Andrés Viso
A Strong Bisimulation for a Classical Term Calculus. Log. Methods Comput. Sci. 20 (2) (2024)
Pablo Barenbaum, Eduardo Bonelli
Reductions in Higher-Order Rewriting and Their Equivalence. CSL (2023)
Pablo Barenbaum, Eduardo Bonelli
Reductions in Higher-Order Rewriting and Their Equivalence. CoRR (2022)
Eduardo Bonelli, Delia Kesner, Andrés Viso
A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction. CoRR (2021)
Pablo Barenbaum, Eduardo Bonelli
Rewrites as Terms through Justification Logic. PPDP (2020)
Delia Kesner, Eduardo Bonelli, Andrés Viso
Strong Bisimulation for Control Operators (Invited Talk). CSL (2020)
Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso
Typed path polymorphism. Theor. Comput. Sci. 781 (2019)
Eduardo Bonelli, Delia Kesner, Andrés Viso
Strong Bisimulation for Control Operators. CoRR (2019)
Francisco Bavera, Eduardo Bonelli
Justification logic and audited computation. J. Log. Comput. 28 (5) (2018)
Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract. PPDP (2018)
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, Delia Kesner
Foundations of strong call by need. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Gabriela Steren, Eduardo Bonelli
The first-order hypothetical logic of proofs. J. Log. Comput. 27 (4) (2017)
Juan Edi, Andrés Viso, Eduardo Bonelli
Efficient Type Checking for Path Polymorphism. CoRR (2017)
Pablo Barenbaum, Eduardo Bonelli
Optimality and the Linear Substitution Calculus. FSCD (2017)
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
On abstract normalisation beyond neededness. Theor. Comput. Sci. 672 (2017)
Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
Type Soundness for Path Polymorphism. CoRR (2016)
Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
Type Soundness for Path Polymorphism. LSFA (2015)
Juan Edi, Andrés Viso, Eduardo Bonelli
Efficient Type Checking for Path Polymorphism. TYPES (2015)
Eduardo Bonelli, Gabriela Steren
Hypothetical Logic of Proofs. Logica Universalis 8 (1) (2014)
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
An abstract normalisation result with applications to non-sequential calculi. CoRR (2014)
Gabriela Steren, Eduardo Bonelli
Intuitionistic Hypothetical Logic of Proofs. Electron. Notes Theor. Comput. Sci. 300 (2014)
Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi
A nonstandard standardization theorem. POPL (2014)
Adriana B. Compagnoni, Vishakha Sharma, Yifei Bao, Matthew Libera, Svetlana Sukhishvili, Philippe Bidinger, Livio Bioglio, Eduardo Bonelli
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions. Electron. Notes Theor. Comput. Sci. 293 (2013)
Eduardo Bonelli, Federico Feller
Justification Logic as a foundation for certifying mobile computation. Ann. Pure Appl. Log. 163 (7) (2012)
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
Normalisation for Dynamic Pattern Calculi. RTA (2012)
Luciano Bello, Eduardo Bonelli
On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow. Formal Aspects in Security and Trust (2011)
Francisco Bavera, Eduardo Bonelli
Justification Logic and History Based Computation. ICTAC (2010)
Eduardo Bonelli, Pablo Barenbaum
Superdevelopments for Weak Reduction WRS (2009)
Eduardo Bonelli, Federico Feller
The Logic of Proofs as a Foundation for Certifying Mobile Computation. LFCS (2009)
Francisco Bavera, Eduardo Bonelli
Type-based information flow analysis for bytecode languages with variable object field policies. SAC (2008)
Sergei N. Artëmov, Eduardo Bonelli
The Intensional Lambda Calculus. LFCS (2007)
Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
Boxed ambients with communication interfaces. Math. Struct. Comput. Sci. 17 (4) (2007)
Eduardo Bonelli, Adriana B. Compagnoni
Multipoint Session Types for a Distributed Calculus. TGC (2007)
Eduardo Bonelli
The Linear Logical Abstract Machine. MFPS (2006)
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15 (2) (2005)
Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli
A Typed Assembly Language for Non-interference. ICTCS (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS (2005)
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
de Bruijn Indices for Metaterms. J. Log. Comput. 15 (6) (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
Typechecking Safe Process Synchronization. Electron. Notes Theor. Comput. Sci. 138 (1) (2005)
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
Relating Higher-order and First-order Rewriting. J. Log. Comput. 15 (6) (2005)
Eduardo Bonelli
Normalisation for higher-order calculi with explicit substitutions. Theor. Comput. Sci. 333 (1-2) (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
Correspondence Assertions for Process Synchronization in Concurrent Communications. Electron. Notes Theor. Comput. Sci. 97 (2004)
Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda
Boxed Ambients with Communication Interfaces. MFCS (2004)
Eduardo Bonelli
A Normalisation Result for Higher-Order Calculi with Explicit Substitutions. FoSSaCS (2003)
Eduardo Bonelli
Perpetuality in a named lambda calculus with explicit substitutions. Math. Struct. Comput. Sci. 11 (1) (2001)
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
From Higher-Order to First-Order Rewriting. RTA (2001)
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
A de Bruijn Notation for Higher-Order Rewriting. RTA (2000)
Eduardo Bonelli
Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting. CSL (1999)