Recursive functionals and quantifiers of finite types. I 论文

1959Transactions of the American Mathematical Society引用 319
DOIPDF
Computability, Logic, AI AlgorithmsLogic, programming, and type systemsLogic, Reasoning, and Knowledge
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

Recursive functionals and quantifiers of finite types. I · 相关技术

相关技术

Computability, Logic, AI Algorithms