The discoveries of continuations 论文

1993LISP and Symbolic Computation引用 293
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeAdvanced Topics in Algebra