基于一阶谓词和范畴论的形状与形状型

卢素魁

doi:10.3969/j.issn.1000-1565.2010.03.021

河北大学学报(自然科学版) >

2010 , Vol. 30 >Issue 3: 323 - 326

DOI: https://doi.org/10.3969/j.issn.1000-1565.2010.03.021

基于一阶谓词和范畴论的形状与形状型

卢素魁

展开

河北大学,数学与计算机学院,河北,保定,071002

网络出版日期: 2010-05-25

基金资助

河北省科技攻关项目

收起

Shape and Shape Type Based on the First Order Predicate and Category Theory

LU Su-kui

Expand

Online published: 2010-05-25

Fold

摘要

为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.

关键词： 形状; 形状型; 形式系统; 一阶谓词演算; 范畴

本文引用格式

卢素魁 . 基于一阶谓词和范畴论的形状与形状型[J]. 河北大学学报(自然科学版), 2010 , 30(3) : 323 -326 . DOI: 10.3969/j.issn.1000-1565.2010.03.021

参考文献

[1] MILNER R, TOFLE M, HARPER R. Definition of standard ML [M]. London:MIT Press(UK) 1990.
[2] WINSKEL G. The formal semantics of programming languages [M]. London:The MIT Press(UK) 1990.
[3] JAY B. A semantics for shape [J]. SCIENCE OF COMPUTER PROGRAMMING 1995.
[4] READE C. Elements of functional programming [M]. London:Addison-Wesley Publishers(UK) Ltd 1989.
[5] JAY B. Programming in FISh [J]. International Journal on Software Tools for Technology Transfer 1999.
[6] JAY B, KESNER D. First-calss patterns [J]. JOURNAL OF FUNCTIONAL PROGRAMMING 2009.
[7] C.BARRY JAY. The Pattern Calculus [J]. ACM transactions on programming languages and systems 2004, 6(6).

Options

文章导航

模态框（Modal）标题

摘要

本文引用格式

参考文献