In a paper by McCarthy [1963] we find a formalism that enhances the practical aspect of the recursive-function concept, while preserving and improving its mathematical clarity.
In a paper by McCarthy [1963], we find a formalism that enhances the practical application of the recursive-function concept, while maintaining and improving its mathematical precision.