ICFP 2021
Sun 22 - Sat 28 August 2021

Not registered as user yet

Name:Tetsuya Sato
Country:Japan
Affiliation:Tokyo Institute of Technology

Contributions

ICFP 2021 Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Show activities from other conferences

ICFP 2021-profile
View general profile