To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism 论文

1980Academic Press eBooks引用 912
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeComputability, Logic, AI Algorithms
Computability, Logic, AI AlgorithmsAdvanced Algebra and LogicLogic, Reasoning, and Knowledge
相关技术:Computability, Logic, AI Algorithms
关系图谱

To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism · 作者

J

Jonathan P. Seldin

J

J. Roger Hindley

H

Haskell B. Curry