Recursive functionals

zbMath0806.03034MaRDI QIDQ1202200

Luis E. Sanchis

Publication date: 23 January 1993

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

higher-order computabilityrecursive functionals with partial arguments

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-type and set recursion theory (03D65)

This page was built for publication: Recursive functionals