Pairing Without Conventional Restraints

This publication has 4 references indexed in Scilit:

• Simultane Rekursionen in der Theorie der Funktionale endlicher Typen
  Archive for Mathematical Logic, 1971
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967
• Recursive objects in all finite types
  Fundamenta Mathematicae, 1964
• Combinatory recursive objects of all finite types
  Bulletin of the American Mathematical Society, 1964