20110306 systems of_typed_lambda_calculi_moskvin_lecture03
20110224 systems of_typed_lambda_calculi_moskvin_lecture03
20090412 hardnessvsrandomness itsykson_lecture06
20110224 systems of_typed_lambda_calculi_moskvin_lecture02