TY  - BOOK
AU  - Dekker,J.C.E.
AU  - Myhill,John
TI  - Recursive equivalence types
U1  - 512.8 
PY  - 1960///
CY  - Berkeley, Los Angeles
PB  - University of California Press
KW  - Recursive functions
N1  - Bibliography: p. 208-209
ER  -