曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

2022-09-25から1日間の記事一覧

【しゃあっコヒーレンス・スペース!】整合空間(coherence space)をじっくりとその2 安定関数(stable function)

↓これの続きです。 cut-elimination.hatenablog.com 今回は安定関数が出てくるはずです。 用語の整理 いろいろ用語、記法が出てきている。 用語・記法:整合空間 の要素を の点(point)という。 のクリークを整合部分集合(coherence subset)とも言う。点とは…