各層計算可能性の変種

履歴
2016年6月6日　スライドアップロード

タイトル
各層計算可能性の変種

種類
Thirteenth International Conference on Computability and Complexity in Analysis (CCA2016)での講演

ダウンロード
スライド