共 50 条
- [3] An algebraic process calculus [J]. TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 130 - 141
- [4] The algebraic lambda calculus [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (05) : 1029 - 1059
- [5] AN ALGEBRAIC APPROACH TO CALCULUS [J]. TRANSACTIONS OF THE NEW YORK ACADEMY OF SCIENCES, 1966, 28 (03): : 375 - &
- [6] On the algebraic models of lambda calculus [J]. THEORETICAL COMPUTER SCIENCE, 2000, 249 (01) : 197 - 240
- [7] The ψ calculus:: An algebraic agent language [J]. INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 2002, 2333 : 32 - 50
- [8] Schubert calculus for algebraic cobordism [J]. JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2011, 656 : 59 - 85
- [9] The Algebraic Structure of Quantity Calculus [J]. MEASUREMENT SCIENCE REVIEW, 2018, 18 (04): : 147 - 157
- [10] Inductive types in the calculus of algebraic constructions [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2003, 2701 : 46 - 59