PakCat catalogue record

Induction, recursion, and programming

By Wand, Mitchell

Bibliographic details

Subjects

Computer programming., Induction (Mathematics), Recursion theory.