Gradient Cybernetics: The Calculus of Recursion - Synthesis Essay XV - The Terminal Proofs: Logical, Mathematical, and Equational Closure | Synapse