GABRIELA STEREN; EDUARDO BONELLI

The First-Order Hypothetical Logic of Proofs

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2017 vol. 27 p. 1023 - 1066

BARENBAUM, PABLO; BONELLI, EDUARDO

Optimality & the linear substitution calculus

Leibniz International Proceedings in Informatics, LIPIcs; Año: 2017 vol. 84

BONELLI, EDUARDO; KESNER, DELIA; LOMBARDI, CARLOS; RÍOS, ALEJANDRO

On abstract normalisation beyond neededness

THEORETICAL COMPUTER SCIENCE; Año: 2017 vol. 672 p. 36 - 63

BALABONSKI, THIBAUT; BARENBAUM, PABLO; BONELLI, EDUARDO; KESNER, DELIA

Foundations of strong call by need

Proceedings of the ACM on Programming Languages; Año: 2017 vol. 1 p. 1 - 29

ANDRÉS EZEQUIEL VISO; EDUARDO BONELLI; MAURICIO AYALA-RINCÓN

Type Soundness for Path Polymorphism

Electronic Notes in Theoretical Computer Science; Año: 2016 vol. 323 p. 235 - 251

EDUARDO BONELLI; DELIA KESNER; CARLOS LOMBARDI; ALEJANDRO RÍOS

An abstract normalisation result with applications to non-sequential calculi

THEORETICAL COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2015

FRANCISCO BAVERA; EDUARDO BONELLI

Justification Logic and Audited Computation

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2015

EDUARDO BONELLI; GABRIELA STEREN

Hypothetical Logic of Proofs

Logica Universails; Año: 2014 vol. 8 p. 103 - 140

MAURICIO AYALA-RINCÓN; EDUARDO BONELLI; IAN MACKIE

Proceedings 9th International Workshop on Developments in Computational Models

Electronic Proceedings in Theoretical Computer Science; Año: 2014 vol. 144 p. 1 - 87

ADRIANA COMPAGNONI; VISHAKA SHARMA; YIFEI BAO; MATTHEW LIBERA; SVETLANA SUKHISHVILI; PHILIPPE BIDINGER; LIVIO BOGLIO; EDUARDO BONELLI

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions

Electronic Notes in Theoretical Computer Science; Lugar: Amsterdam; Año: 2013 p. 35 - 49

GABRIELA STEREN; EDUARDO BONELLI

Intuitionistic Hypothetical Logic of Proofs

Electronic Notes in Theoretical Computer Science; Año: 2013 vol. 300 p. 89 - 103

EDUARDO BONELLI; FEDERICO FELLER

Justification Logic as a foundation for certifying mobile computation

ANNALS OF PURE AND APPLIED LOGIC; Lugar: Amsterdam; Año: 2012 vol. 163 p. 935 - 950

BONELLI, EDUARDO; KESNER, DELIA; LOMBARDI, CARLOS; RÍOS, ALEJANDRO

Normalisation for dynamic pattern calculi

Leibniz International Proceedings in Informatics, LIPIcs; Año: 2012 vol. 15 p. 117 - 132

LUCIANO BELLO; EDUARDO BONELLI

On-the-fly inlining of dynamic dependency monitors for secure information flow

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2011 vol. 7140 p. 55 - 69

FRANCISCO BAVERA; EDUARDO BONELLI

Justification Logic and History-Based Computation

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2010 vol. 6255 p. 337 - 351

EDUARDO BONELLI; FEDERICO FELLER

The Logic of Proofs as a Foundation for Certifying Mobile Computation

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2009 vol. 5407 p. 76 - 91

SERGEI ARTEMOV, EDUARDO BONELLI

The Intensional Lambda Calculus

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2007 vol. 4514 p. 12 - 25

EDUARDO BONELLI, ADRIANA COMPAGNONI

Multipoint Session Types for a Distributed Calculus

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2007 vol. 4912 p. 240 - 256

ADRIANA COMPAGNONI; PABLO GARRALDA; MARIANGIOLA DEZANI-CIANCAGLINI; EDUARDO BONELLI

Boxed Ambients with Communication Interfaces

Mathematical Structures in Computer Science; Año: 2007 vol. 17 p. 587 - 645

EDUARDO BONELLI

The Linear Logical Abstract Machine

Electronic Notes in Theoretical Computer Science; Año: 2006 vol. 158 p. 99 - 121

EDUARDO BONELLI; ADRIANA COMPAGNONI; RICARDO MEDEL

Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2006 vol. 3956 p. 37 - 56

EDUARDO BONELLI

Normalisation for Higher-Order Calculi with Explicit Substitutions

THEORETICAL COMPUTER SCIENCE; Año: 2005 vol. 333 p. 91 - 125

EDUARDO BONELLI, ADRIANA COMPAGNONI, ELSA GUNTER

Correspondence assertions for process synchronization in concurrent communications

JOURNAL OF FUNCTIONAL PROGRAMMING; Año: 2005 vol. 15 p. 219 - 247

EDUARDO BONELLI, DELIA KESNER, ALEJANDRO RÍOS

De Bruijn Indices for Metaterms

JOURNAL OF LOGIC AND COMPUTATION; Año: 2005 vol. 15 p. 855 - 899

RICARDO MEDEL, ADRIANA COMPAGNONI, EDUARDO BONELLI

Non-Interference for a Typed Assembly Language

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2005 vol. 3701 p. 360 - 374

EDUARDO BONELLI, ADRIANA COMPAGNONI, ELSA GUNTER

Typechecking safe process synchronization

Electronic Notes in Theoretical Computer Science; Año: 2005 vol. 138 p. 3 - 22

EDUARDO BONELLI, DELIA KESNER, ALEJANDRO RÍOS

Relating Higher-order and First-order Rewriting

JOURNAL OF LOGIC AND COMPUTATION; Año: 2005 vol. 15 p. 901 - 947