継続と反証はカリーハワード対応するか - Qiita

## 概要 **継続**の概念に対応する論理的な概念として**反証**を想定できるが、対応は限定的になる、というアイデアメモ。 ## カリーハワード対応 **カリーハワード対応**というものがある。これは、論理についての概念であ...