The Principal Type-Scheme of an Object in Combinatory Logic 论文

1969Transactions of the American Mathematical Society引用 313
DOI
Advanced Algebra and LogicLogic, Reasoning, and Knowledgesemigroups and automata theory
Advanced Algebra and LogicLogic, Reasoning, and Knowledgesemigroups and automata theory
关系图谱

The Principal Type-Scheme of an Object in Combinatory Logic · 作者

R

R. Hindley