Computer Science ›› 2017, Vol. 44 ›› Issue (1): 199-202.doi: 10.11896/j.issn.1002-137X.2017.01.038
Previous Articles Next Articles
MIAO De-cheng, XI Jian-qing and SU Jin-dian
| [1] CHEN Y Q.Formal Languages and Automata[M].Beijing:China Machine Press,2008.(in Chinese) 陈有祺.形式语言与自动机[M].北京:机械工业出版社,2008. [2] HE W.Category theory[M].Beijing:Science Press,2006.(inChinese) 贺伟.范畴论[M].北京:科学出版社,2006. [3] HAGINO T.A Categorical programming language[D].Edin-burgh,UK:Laboratory for Foundations of Computer Science,Dept.of Computer Science,University of Edinburgh,1987. [4] POLL E.Subtyping and inheritance for categorical data types[C]∥Proc.of Theories of Types and Proofs,Kyoto:Japan,RIMS Lecture Notes 1023.1998:112-125. [5] NOGUEIRA P,MORENO-NAVARRO J.Bialgebra views:away for polytypic programming to cohabit with data abstract[C]∥Proceedings of the ACM SIGPLAN Workshop on Generic Programming,New York,2008.NY:ACM,2008:61-73. [6] SU J D,YU S S.Coinductive data types and their applications in programming languages[J].Computer Science,2011,8(11):114-118.(in Chinese) 苏锦钿,余珊珊.程序语言中的共归纳数据类型及其应用[J].计算机科学,2011,8(11):114-118. [7] SU J D,YU S S.Comonadiccorecursions on strong coinductive data types[J].Journal of South China University of Technology(Natural Science Edition),2014,2(1):128-134.(in Chinese) 苏锦钿,余珊珊.强共归纳数据类型上的Comonadic共递归[J].华南理工大学学报(自然科学版),2014,2(1):128-134. [8] DOREL L,VLAD R.Program equivalence by circular reasoning[J].Formal Aspects of Computing,2015,7(4):701-726. [9] GHANI N,REVELL T,ATKEY R,et al.Fibrational units of measure [EB/OL].[2015-03-21].http://personal.cis.strath.ac.uk/neil.ghani/pub.htm. [10] KENNEDY A J.Relational parametricity and units of measure[C]∥Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL ’97).New York:ACM,1997:442-455. [11] DENIS B,ALEXANDER D,ANNIE F.Categorical grammarswith iterated types form a strict hierarchy of k-valued languages[J].Theoretical Computer Science450,2012,450(13):22-30. [12] USA:Department of Computer Science,University of Illinois at Urbana-Champaign[R].Formal semantics and analysis of behavioral AADL models in real-time Maude,2010. [13] BARR M,WELLS C.Category theory for computing science[M].NewYork:Prentice-Hall,1990. [14] QU Y W.Formal semantics foundation and formal description(2nd Version)[M].Beijing:Science Press,2010.(in Chinese) 屈延文.形式语义学基础与形式说明(第二版)[M].北京:科学出版社,2010. [15] MIAO D C,XI J Q,JIA L Y,et al.Formal language algebraic model [J].Journal of South China University of Technology (Natural Science Edition),2011,39(10):74-78.(in Chinese) 苗德成,奚建清,贾连印,等.一种形式语言代数模型[J].华南理工大学学报(自然科学版),2011,9(10):74-78. [16] LI W.Mathematical Logic[M].Beijing:Science Press,2008.(in Chinese) 李未.数理逻辑[M].北京:科学出版社,2008. |
| No related articles found! |
| Viewed | ||||||||||||||||||||||||||||||||||||||||||||||||||
|
Full text 34
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
Abstract 110
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
Cited |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
| Shared | ||||||||||||||||||||||||||||||||||||||||||||||||||
| Discussed | ||||||||||||||||||||||||||||||||||||||||||||||||||
|
||
Home