Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tetsuya Sato
conf.researchr.org general profile
FLOPS 2022 profile
ICFP 2021 profile
Not registered as user yet
Name:
Tetsuya Sato
Country:
Japan
Affiliation:
Tokyo Institute of Technology
Contributions
2022
FLOPS
Author of Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL within the FLOPS 2022-track
2021
ICFP
Author of Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics within the Research Papers-track
Share
x
Thu 21 Nov 15:56