Tim S. Lyon

テンセロジックにおける証明システムの役割と、それらの相互関係を探ろう。

ソフトウェア論理における不動点方程式への新しいアプローチを発見しよう。