The next 700 Krivine Machines (2003)

by R DOUENCE, P FRADET
Venue:in « Higher-Order and Symbolic Computation