Media type: E-Article Title: Computing with Foresight and Industry: Higher Type Recursion for Transfinite Machine Theory Contributor: Welch, Philip imprint: Springer International Publishing, 2019 Published in: Computing with Foresight and Industry Language: Not determined DOI: 10.1007/978-3-030-22996-2_7 ISSN: 1611-3349; 0302-9743 Origination: Footnote: