Catalysing Completeness and Universality

Aleks Kissinger, Neil J. Ross, John van de Wetering
Oxford Computer Science

Preprint: 2404.09915