The Name Discipline of Uniform Receptiveness

Davide Sangiorgi. The Name Discipline of Uniform Receptiveness. Theoretical Computer Science, 221(1-2):457-493, 1999. [doi]

Abstract

Abstract is missing.