• DCS compared to termination checkers for type theories

  • 2023/09/19
  • 再生時間： 20 分
  • ポッドキャスト

DCS compared to termination checkers for type theories

無料で聴く

ポッドキャストの詳細を見る

  • サマリー

  • In this episode, I continue introducing DCS by comparing it to termination checkers in constructive type theories like Coq, Agda, and Lean. I warmly invite ITTC listeners to experiment with the tool themselves. The repo is here.

    続きを読む 一部表示

あらすじ・解説

In this episode, I continue introducing DCS by comparing it to termination checkers in constructive type theories like Coq, Agda, and Lean. I warmly invite ITTC listeners to experiment with the tool themselves. The repo is here.

続きを読む 一部表示

DCS compared to termination checkers for type theoriesに寄せられたリスナーの声

カスタマーレビュー：以下のタブを選択することで、他のサイトのレビューをご覧になれます。

Audible.co.jp

Amazon.co.jp
レビューはまだありません。