Practical Foundations of Mathematics

Paul Taylor

VI. Structural Recursion

VI. Structural Recursion

Practical Foundations of Mathematics   Paul Taylor   Cambridge University Press

Introduction   I   II   III   IV   V   VI   VII   VIII   IX   Bibliography  Index

INTRODUCTION

6.1    FREE ALGEBRAS FOR FREE THEORIES

6.2    WELL FORMED FORMULAE

6.3    THE GENERAL RECURSION THEOREM

6.4    TAIL RECURSION AND LOOP PROGRAMS

6.5    UNIFICATION

6.6    FINITENESS

6.7    THE ORDINALS

EXERCISES  VI