@article{CTT100875916,
  author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Shin-ya Katsumata and Tetsuya Sato},
  title = {Higher-order probabilistic adversarial computations: categorical semantics and program logics},
  journal = {Proceedings of the ACM on Programming Languages},
  year = 2021,
}

@inproceedings{CTT100875920,
  author = {Yusuke Kawamoto and Tetsuya Sato and Kohei Suenaga},
  title = {Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic},
  booktitle = {Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning},
  year = 2021,
}

@inproceedings{CTT100875475,
  author = {平田路和 and 南出靖彦 and 佐藤哲也},
  title = {Isabelle/HOLによる高階確率的プログラム検証},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100854442,
  author = {Marco Gaboardi and Shin-ya Katsumata and Dominic Orchard and Tetsuya Sato},
  title = {Graded Hoare Logic and its Categorical Semantics},
  booktitle = {Lecture Notes in Computer Scienece (LNCS)},
  year = 2021,
}