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
Abstract

Available in full text

Date
Authors
Publisher

American Mathematical Society (AMS)