Eduardo Bonelli

Research interests

Logic for Programming Languages: uncovering the logical underpinnings of PLs feeding on ideas from Rewriting, Lambda Calculus, Type Theory, Process Calculi, Proof Theory.
See our research group webpage LoReL - Logic and Rewriting for Programming Languages.

Recent teaching (2015C2)

Teaching a first course in programming

A critique (in Spanish) on what to teach when you teach a first course in programming published in a local conference in 2012.
A concise language devised, from the ground up, for teaching programming: Gobstones.
A presentation (in Spanish) by Pablo Martinez López at the Plan Ceibal program of the Government of Uruguay

Recent publications

  • E.B., D. Kesner, C. Lombardi, A. Ríos:  An abstract normalisation result with applications to non-sequential calculi,  Theoretical Computer Science, to appear. (2016)
  • G. Steren and E.B.: First-Order Hypothetical Logic of Proofs, Journal of Logic and Computation, to appear. (2016)
  • F. Bavera, E.B.: Justification Logic and Audited Computation, Journal of Logic and Computation, June 2015 (doi: 10.1093/logcom/exv037).
  • Gabriela Steren, E.B.: Intuitionistic Hypothetical Logic of Proofs. Electr. Notes Theor. Comput. Sci. 300: 89-103 (2014)
  • E.B., Gabriela Steren: Hypothetical Logic of Proofs. Logica Universalis 8(1): 103-140 (2014)
  • B. Accattoli E.B., D. Kesner and C. Lombardi. A Nonstandard Standardization Theorem. , Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM SIGPLAN-SIGACT, San Diego, USA, January 2014.
  • M. Ayala-Rincón, E.B., Ian Mackie (Eds.): Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. EPTCS 144, 2014
More »


My wife is an artist. You can see her work here.

Contact information

Depto de Ciencia  y Tecnología, Universidad Nacional de Quilmes,
Roque Sáenz Peña 352, 
Bernal - B1876BXD - Bs. As. 
Tel: +54 11 365 7100 # 5643
com gmail eabonelli