类型理论原理被引量：1

下载PDF

导出

摘要逻辑类型理论讨论具有独立逻辑内核的类型系统，本文在对逻辑类型理论一般原则扣讨论及一些著名逻辑类型系统的分析的基础上加入提出了一新颖的逻辑类型系统。

作者傅育熙

机构地区上海交通大学

出处《软件学报》 EI CSCD 北大核心 1997年第A00期457-465,共9页 Journal of Software

关键词类型理论泛类逻辑核数理逻辑程序正确性

同被引文献2

1周晓聪.类型系统的λω×_≤等式理论及其语义的合理性[J].计算机研究与发展,2006,43(5):874-880. 被引量：2
2葛丽丽,帅东昕,谢金言,张迎周,薛渝川,杨嘉毅,密杰,卢跃.面向软件供应链的异常分析方法综述[J].软件学报,2023,34(6):2606-2627. 被引量：3

1孙庆元,孔令成,张志华,梅涛.基于ZigBee的无线传感器网络监控系统的建立[J].仪表技术,2011(6):7-9. 被引量：13
2李未,王飓安.类型理论和程序设计[J].计算机科学,1992,19(1):11-17.
3蒋庆勇.神经网络中不确定性计算问题的探讨[J].通信与计算技术,1997(2):21-29.
4顾婷,贾云喆.基于Java的数据结构算法演示系统的研究[J].信息与电脑（理论版）,2011(3):98-98. 被引量：1
5Xiaoming WANG.Examples of Boundary Layers Associated with the Incompressible Navier-Stokes Equations[J].Chinese Annals of Mathematics,Series B,2010,31(5):781-792.
6傅育熙,宋哲炫.逻辑框架的语法,语用脑语义[J].软件学报,1996,7(A00):224-231.
7孙红波,傅仕诤,徐日.分组密码算法的基础平台研究[J].无线电工程,2014,44(1):65-67. 被引量：1
8梅林,张静波,马安国.高扇入与／或逻辑的设计与实现[J].重庆大学学报（自然科学版）,2008,31(8):908-912. 被引量：2
9张学新.拼义符号:中文特有的概念表达方式[J].科学中国人,2012(23):34-37. 被引量：4
10李梧生,林诗宏.数学推理(续完)[J].韩山师专学报,1983,4(1):28-51.

软件学报

1997年第A00期

内容加载中请稍等...