Recursion over realizability structures☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
Preliminary ideas on this subject were presented in talks delivered at the LICS Conference (Edinburgh, July 1988) and at the EEC Jumelage meeting on Typed λ-calculus (Nijmegen, November 1988). This research was partly supported by the Joint Collaboration Contract #ST2J-0374-C (EDB) of the EEC.
Copyright © 1991 Published by Elsevier Inc.