2024-07-102024-07-102024-07-102577-8838https://infoscience.epfl.ch/handle/20.500.14299/159288Mathematical Foundations Of Computing