Revision as of 12:05, 5 May 2014 edit Yobot (talk \| contribs) Bots 4,733,870 edits m WP:CHECKWIKI error fixes using AWB (10093) ← Previous edit		Revision as of 09:32, 27 April 2017 edit undo Emlili (talk \| contribs) 22 edits Added See also section Next edit →
Line 28: ::''R''(''f'',''g'')(''n''+1) = ''g''(''n'',''R''(''f'',''g'')(''n'')) : is a primitive recursive functional == See also == * [[Dialectica interpretation]] * [[Higher-order function]] * [[Primitive recursive function]] * [[Simply typed lambda calculus]] == References ==

Primitive recursive functional: Difference between revisions