Pablo Barenbaum and E.B.: Sharing and Linear Logic with
Restricted Access, 28th International Conference on
Foundations of Software Science and Computation Structures
(FoSSaCS), May 5 - 8, Hamilton, Canada, 2025. (Best paper award) [ArXiv]
2024
Pablo Barenbaum, E.B. and Mariana Milicich: Intersection Types as
Evaluation Types, 11th Workshop on Intersection
Types and Related Systems (ITRS), 9th July 2024, Tallinn,
Estonia (Affiliated with FSCD 2024).
Mauricio Ayala-Rincón, E.B., Ian Mackie:
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires,
Argentina, 26 August 2013. EPTCS 144, 2014
Pablo Garralda, E.B., Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
Boxed ambients with communication interfaces. Mathematical Structures in Computer Science 17(4):
587-645 (2007)
E.B., Adriana B. Compagnoni, Elsa L. Gunter:
Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program.
15(2): 219-247 (2005)
E.B., Delia Kesner, Alejandro Ríos:
de Bruijn Indices for Metaterms. J. Log. Comput. 15(6): 855-899 (2005)
E.B., Delia Kesner, Alejandro Ríos:
Relating Higher-order and First-order Rewriting. J. Log. Comput. 15(6): 901-947 (2005)
E.B.:
Normalisation for higher-order calculi with explicit substitutions. Theor. Comput. Sci. 333(1-2):
91-125 (2005)
E.B., Adriana B. Compagnoni, Elsa L. Gunter:
Correspondence Assertions for Process Synchronization in Concurrent Communications. Electr. Notes
Theor. Comput. Sci. 97: 175-195 (2004)
Pablo Barenbaum (DC,
FCEyN, UBA). Dynamic Semantics of Calculi with Explicit Substitutions at a Distance. Defended PhD thesis on 20/Nov/20.
Andrés Viso
(DC, FCEyN, UBA). Un estudio semántico sobre extensiones avanzadas del λ-cálculo: patrones y operadores de control. Defended PhD thesis
22/Jul/20.
Gabriela Steren (DC,
FCEyN, UBA). Two Topics in Rewriting: Combinators for Pattern Calculi and the
Curry-Howard Isomorphism for the Logic of Proofs. Defended PhD
thesis on 15/Dec/2014.
Carlos Lombardi (DC,
FCEyN, UBA). Reduction Spaces in Non-Sequential and
Infinitary Rewriting Systems. Defended PhD thesis
7/Nov/2014. Co-advised with Alejandro Ríos and Delia Kesner.
Francisco Bavera (DC,
FCEyN, UBA). Types for Security Based on
Information-Flow Analysis UBA and Audited Computation.
Defended PhD thesis
9/Aug/2012.
Carlos Sarraute (ITBA). Automated Attack Planning.
Defended PhD thesis
2/Jul/2012. Co-advised with Gerard Ritchiarte.
Recent Teaching
Linear Logic and
Computation (CS810). Fall 2022, 2023, 2024.
Principles of Programming
Languages (CS496). See here for notes and source code.
