Advertisement

A representation for Spector second order classes in computation theories on two types

  • Ken Hirose
  • Fujio Nakayasu
Conference paper
  • 168 Downloads
Part of the Lecture Notes in Mathematics book series (LNM, volume 891)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

  • Ken Hirose
    • 1
  • Fujio Nakayasu
    • 1
  1. 1.Waseda UniversityTokyoJapan

Personalised recommendations