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

1969Transactions of the American Mathematical Society引用 313

Advanced Algebra and LogicLogic, Reasoning, and Knowledgesemigroups and automata theory

作者

R. Hindley