A Crash Course in λ-Calculus
-
1ZHAO Xishun 1 and WANG Ju 2 1. Department of Mathematics, Nanjing University, Nanjing 210093, China,2. Institute of Software, Chinese Academy of Sciences, Beijing 100080, China.Y_CΩ_(2n)are easy terms[J].Chinese Science Bulletin,1998,43(20):1707-1709. 被引量：2
-
2LUO Jie LI Wei.R-calculus without the cut rule[J].Science China(Information Sciences),2011,54(12):2530-2543. 被引量：1
-
3王驹,赵希顺,黄且圆,蒋颖.Consistency argument and classification problem in λ-calculus[J].Science China(Technological Sciences),1999,42(5):502-506.
-
4白鸿武.关于P.J Hilton U.Stammbacb《A course in Homological Algebra》中命题Ⅱ-7.7的一点注记[J].咸阳师范学院学报,2001,16(4):80-80.
-
5Yulong Pei,Chuanyun Fu.Investigating crash injury severity at unsignalized intersections in Heilongjiang Province,China[J].Journal of Traffic and Transportation Engineering(English Edition),2014,1(4):272-279. 被引量：3
-
6盛红波,高振利.体验科学探究——滑动摩擦力与接触面粗糙程度间的关系[J].物理教学探讨（中学教学教研版）,2005,23(11):3-4. 被引量：1
-
7盛红波,高振利.滑动摩擦力与接触面粗糙程度的关系[J].物理教学,2005,27(11):19-20.
-
8江明德.GENERALIZED METACOMPOSITION RULE[J].Chinese Science Bulletin,1988,33(17):1405-1408.
-
9杨光群,林婉.普通物理课程的现代化[J].国际物理教育通讯,1994(14):12-18.
-
10邱雁.数论和音乐[J].上海中学数学,2002(2).
