ATTAPL続き． 論理関係とは 論理関係は λ計算の項の間の2項関係で, 型でインデックスがついている(つまり型を含めれば3項関係). 論理関係は「論理的」な関係である(Curry-Howard的な意味で). すなわち，論理関係とは R(s1, t1, T1->T2) かつ R(s2, t2, T1) …