List of works - Alejandro Aguirre - Paulina

List of works by Alejandro Aguirre

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

scientific article published on 05 January 2024

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs

scientific article published on 15 August 2024

Higher-order probabilistic adversarial computations: categorical semantics and program logics

scientific article published on 19 August 2021

Tachis: Higher-Order Separation Logic with Credits for Expected Costs

scientific article published on 08 October 2024

Paulina is supported by:

About Paulina

Help