THE 'CALCULUS'

被引:0
|
作者
BOVEY, J
机构
关键词
D O I
暂无
中图分类号
I0 [文学理论];
学科分类号
0501 ; 050101 ;
摘要
引用
收藏
页码:577 / 587
页数:11
相关论文
共 50 条
  • [1] The λ-calculus in the π-calculus
    Cai, Xiaojuan
    Fu, Yuxi
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (05) : 943 - 996
  • [2] An interpretation of λμ-calculus in λ-calculus
    Fujita, K
    [J]. INFORMATION PROCESSING LETTERS, 2002, 84 (05) : 261 - 264
  • [3] A Calculus of Lambda Calculus Contexts
    Mirna Bognar
    Roel de Vrijer
    [J]. Journal of Automated Reasoning, 2001, 27 : 29 - 59
  • [4] The theory of calculus for calculus teachers
    Moreno-Armella, Luis
    [J]. ZDM-MATHEMATICS EDUCATION, 2021, 53 (03): : 621 - 633
  • [5] Formal calculus and umbral calculus
    Robinson, Thomas J.
    [J]. ELECTRONIC JOURNAL OF COMBINATORICS, 2010, 17 (01):
  • [6] The theory of calculus for calculus teachers
    Luis Moreno-Armella
    [J]. ZDM – Mathematics Education, 2021, 53 : 621 - 633
  • [7] Ito calculus and Malliavin calculus
    Watanabe, Shinzo
    [J]. STOCHASTIC ANALYSIS AND APPLICATIONS, 2007, 2 : 623 - 639
  • [8] A calculus of lambda calculus contexts
    Bognar, M
    De Vrijer, R
    [J]. JOURNAL OF AUTOMATED REASONING, 2001, 27 (01) : 29 - 59
  • [9] URINARY CALCULUS AND SALIVARY CALCULUS
    SCOPP, IW
    MORGAN, FH
    DOONER, JJ
    [J]. JOURNAL OF PERIODONTOLOGY, 1966, 37 (02) : 156 - &
  • [10] SOERGEL CALCULUS AND SCHUBERT CALCULUS
    He, Xuhua
    Williamson, Geordie
    [J]. BULLETIN OF THE INSTITUTE OF MATHEMATICS ACADEMIA SINICA NEW SERIES, 2018, 13 (03): : 317 - 350