Beniamino Accattoli

この論文は、最小直観主義論理とプログラミングにおける値呼び出し評価の関連について調べてるよ。