Strongly reducing variants of the Krivine abstract machine (0)

by P Crégut
Venue:Higher-Order and Symbolic Computation20(2007