| |
| 2007 | ||
|---|---|---|
| 1 | EE | Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger: Improving the lazy Krivine machine. Higher-Order and Symbolic Computation 20(3): 271-293 (2007) |
| 1 | Daniel P. Friedman | [1] |
| 2 | Abdulaziz Ghuloum | [1] |
| 3 | Jeremy G. Siek | [1] |