Syntax and Semantics in Higher-Type Recursion Theory
Transactions of the American Mathematical Society - United States
doi 10.1090/s0002-9947-1983-0684494-7
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1983
Authors
Publisher
American Mathematical Society (AMS)