検索内容:
セミナーで彼女は、無限のストリームやその他の非整礎的構造について推論することを可能にする一種の帰納法として共帰納法を説明した。
現代の型理論では、ストリームのような無限データ構造を定義する際に、共帰納法の例がしばしば現れます。
共帰納的な定義により、無限のストリームについて厳密に推論することができました。
我々は二つのプロセス間にビシミュレーション関係を構築することで、共帰納的にその同値を示した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
