次概率程序的语义

【文件属性】：

文件名称：次概率程序的语义

文件大小：185KB

文件格式：PDF

更新时间：2024-03-15 15:34:17

亚概率程序，全正确，最弱前置演算

本文目的是扩充概率程序中的概率选择至亚概率选择，研究亚概率而语言的公理语义及指称语义并证明二者等价。