• Introduction to Formalizing Programming Languages Theory

  • 2024/11/25
  • 再生時間： 12 分
  • ポッドキャスト

Introduction to Formalizing Programming Languages Theory

無料で聴く

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

  • サマリー

  • In this episode, I begin discussing the question and history of formalizing results in Programming Languages Theory using interactive theorem provers like Rocq (formerly Coq) and Agda.
    続きを読む 一部表示

あらすじ・解説

In this episode, I begin discussing the question and history of formalizing results in Programming Languages Theory using interactive theorem provers like Rocq (formerly Coq) and Agda.
続きを読む 一部表示

Introduction to Formalizing Programming Languages Theoryに寄せられたリスナーの声

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

Audible.co.jp

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