A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory.

Published in: J. Symb. Log. (2000)

Keyphrases

special case
general theory
recursive programs
theoretical framework
closely related
least squares
program synthesis
genetic algorithm
theoretical basis
formal logic