局部合取序列演算相关硕士博士期刊学术论文 - 搜论网

局部合取序列演算相关论文

Domain的逻辑语构与逻辑语义表示

本文讨论了在逻辑框架下刻画Domain范畴所必需的方法与技巧.Domain以及它们之间的Scott-连续映射构成了计算机程序语言的指称语义......

学位

有界完备domain 连续L-domain 代数L-domain 合取序列演算局部合取序列演算 Lawson紧 N-序列演算范畴等价 Scott-连续

看过本文同时还关注