Zena M. Ariola
University of Oregon(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques, Model-Driven Software Engineering Techniques
Most-Cited Works
- → A call-by-need lambda calculus(1995)247 cited
- → The call-by-need lambda calculus(1997)171 cited
- → Functional and Logic Programming(2012)99 cited
- → EQUATIONAL TERM GRAPH REWRITING(1996)96 cited
- → Minimal Classical Logic and Control Operators(2003)61 cited
- → Cyclic lambda calculi(1997)54 cited
- → Lambda Calculus with Explicit Recursion(1997)54 cited