A hierarchy of functions corresponding randomness hierarchy

News
24 Dect, 2017 The slide file was uploaded.

Title
A hierarchy of functions corresponding randomness hierarchy

Type
A talk in RIMS workshop “Proof theory and proving”

Download
rims