State-transition machines for lambda-calculus expressions (2007)

by David A Schmidt
Venue:HigherOrder and Symbolic Computation