A program for the full axiom of choice.

Jean-Louis Krivine

Published in: CoRR (2020)

Keyphrases

program execution
computer programs
genetic algorithm
computer vision
case study
evolutionary algorithm
novice programmers