Some Connections Between Set Theory and Computer Science.

Robert Cowen Some Connections Between Set Theory and Computer Science. 14-22 1993 conf/kgc/1993 Kurt Gödel Colloquium db/conf/kgc/kgc93.html#Cowen93