Publications

Research papers and preprints, listed by year.

2026

Synthetic and constructive algorithmic randomness

M. Trucchi

Extended abstract, to be submitted to CCC'26 (International Workshop on Continuity, Computability, Constructivity)