conf.researchr.org / Alejandro Aguirre
Not registered as user yet
Name:Alejandro Aguirre
Country:Denmark
Affiliation:Aarhus University
Contributions
ICFP 2021 | Author of Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics within the Research Papers-track |