Victor L. Bennison

1947

• The Loop family in America
• On the computational complexity of recursively enumerable sets