共 50 条
- [1] Recursion in tree-based genetic programming [J]. Genetic Programming and Evolvable Machines, 2017, 18 : 149 - 183
- [4] Recursion as a Human Universal and as a Primitive [J]. BIOLINGUISTICS, 2010, 4 (2-3): : 165 - 173
- [6] Primitive Recursion on Higher Types [J]. TENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES REVISED SELECTED PAPERS CSIT-2015, 2015, : 23 - 32
- [9] A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration [J]. JOURNAL OF FORMALIZED REASONING, 2011, 4 (01): : 85 - 109
- [10] Finitism, Imperative Programs and Primitive Recursion [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 98 - 110