← Tags #logic

4 notes

カリー=ハワード同型対応 type-theorylogiccomputer-science 推論規則 type-theorylogiccomputer-science 時相論理 formal-methodscomputer-sciencelogic 直観主義論理 logiccomputer-sciencetype-theory