Research

Technical Report Results

Technical Report TR14:
Induction, Recursion, and Programming

Mitchell Wand
(Jul 1976)
[(Revised) Published by Elsevier North Holland, 1980]
Abstract:
The abstact is not available. Please see the full paper.

Available as:
  • Sorry, no electronic version of this paper is currently available