publication venue for Sequent calculi and abstract machines. 31:1-48. 2009 A correctness proof for combinator reduction with cycles. 12:123-134. 1990 On iterative constructs. 12:139-141. 1990 A reflection on call-by-value 1997
has subject area 0803 Computer Software (FoR) 0806 Information Systems (FoR) Software Engineering (Science Metrix)