List of works - Gilles Barthe - Paulina

List of works by Gilles Barthe

A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs

scientific article published on 08 October 2024

CoqQ: Foundational Verification of Quantum Programs

scientific article published on 11 January 2023

Decision and Complexity of Dolev-Yao Hyperproperties

scientific article published on 05 January 2024

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

scientific article published on 19 August 2021

On Feller continuity and full abstraction

scientific article published in 2022

Safe couplings: coupled refinement types

scientific article published in 2022

Paulina is supported by:

About Paulina

Help