共 50 条
- [1] The λ-calculus in the π-calculus [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (05) : 943 - 996
- [2] An interpretation of λμ-calculus in λ-calculus [J]. INFORMATION PROCESSING LETTERS, 2002, 84 (05) : 261 - 264
- [4] The theory of calculus for calculus teachers [J]. ZDM-MATHEMATICS EDUCATION, 2021, 53 (03): : 621 - 633
- [6] The theory of calculus for calculus teachers [J]. ZDM – Mathematics Education, 2021, 53 : 621 - 633
- [7] Ito calculus and Malliavin calculus [J]. STOCHASTIC ANALYSIS AND APPLICATIONS, 2007, 2 : 623 - 639
- [8] A calculus of lambda calculus contexts [J]. JOURNAL OF AUTOMATED REASONING, 2001, 27 (01) : 29 - 59
- [10] SOERGEL CALCULUS AND SCHUBERT CALCULUS [J]. BULLETIN OF THE INSTITUTE OF MATHEMATICS ACADEMIA SINICA NEW SERIES, 2018, 13 (03): : 317 - 350