Program logic for higher-order probabilistic programs in Isabelle/HOL

Autor:	Hirata, Michikazu, Minamide, Yasuhiko, Sato, Tetsuya
Zdroj:	In Science of Computer Programming August 2023 230
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect