Tetsuya Sato -

Not registered as user yet

Name:Tetsuya Sato

Country:Japan

Affiliation:Tokyo Institute of Technology

Contributions

FLOPS 2022	Author of Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL within the FLOPS 2022-track
ICFP 2021	Author of Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics within the Research Papers-track