Not registered as user yet

Name:Alejandro Aguirre
Country:Denmark
Affiliation:Aarhus University

Contributions

POPL 2023 Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice
Show activities from other conferences

Using general profile