Michikazu Hirata

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 11

Top Topics

Inference Rules

Lambda Calculus

Programs Written

Top Venues

Arch. Formal Proofs

Sci. Comput. Program.

Publications

Michikazu Hirata
Coproduct Measure. Arch. Formal Proofs 2024 (2024)
Michikazu Hirata
The Riesz Representation Theorem. Arch. Formal Proofs 2024 (2024)
Michikazu Hirata
The Lévy-Prokhorov Metric. Arch. Formal Proofs 2024 (2024)
Michikazu Hirata
Disintegration Theorem. Arch. Formal Proofs 2023 (2023)
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL. ITP (2023)
Michikazu Hirata, Yasuhiko Minamide
S-Finite Measure Monad on Quasi-Borel Spaces. Arch. Formal Proofs 2023 (2023)
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Program logic for higher-order probabilistic programs in Isabelle/HOL. Sci. Comput. Program. 230 (2023)
Michikazu Hirata
Disintegration Theorem. Arch. Formal Proofs 2023 (2023)
Michikazu Hirata
Standard Borel Spaces. Arch. Formal Proofs 2023 (2023)
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. FLOPS (2022)
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Quasi-Borel Spaces. Arch. Formal Proofs 2022 (2022)