Choiceless Computation and Symmetry.

Benjamin Rossman
Published in: Fields of Logic and Computation (2010)