Title: Recursive equivalence types, (University of California publications in mathematics)