Closures and Fairness in the Semantics of Programming Logic

Jean-Louis Lassez, Michael J. Maher. Closures and Fairness in the Semantics of Programming Logic. Theoretical Computer Science, 29:167-184, 1984.

Abstract

Abstract is missing.