Evaluation Logic (1990)

by Andrew Pitts