Sequential evaluation strategies for parallel-or and related reduction systems

• 12 June 1989
• journal article
• Published by Elsevier in Annals of Pure and Applied Logic
• Vol. 43  (1) , 31-56
• https://doi.org/10.1016/0168-0072(89)90024-9

Abstract

Keywords

• EVALUATION STRATEGIES
• FUNCTION
• REDEX
• SEQUENTIAL
• GOOD
• NORMALISING
• EVENTUALLY
• CHOOSES
• CHOSEN