Primitive Recursion, Equality, and a Universal Set.

Michael Pfender K. Kröplin D. Pape Primitive Recursion, Equality, and a Universal Set. 295-313 1994 4 Mathematical Structures in Computer Science 3 db/journals/mscs/mscs4.html#PfenderKP94