PakCat catalogue record Recursive equivalence types By Dekker, J. C. E. Bibliographic details PublisherUniversity of California Press Publication placeBerkeley Publication year1960 LanguageEnglish Material typeBook Physical description213 p. Additional authorsMyhill, John SubjectsRecursive functions.