AIM8 （二日目）

開始は9時から。

• "Formalization and test generation for a CPU architecture"：A君による発表。

• "A Type of Partial Recursive Functions " (Ana Bove)：部分的帰納関数を型付けできるように、圏論を使って型を定義しようという話。面白かったです。対応する論文はおそらくこちら。