• Nominal Isabelle/HOL

  • 2025/01/31
  • 再生時間： 16 分
  • ポッドキャスト

Nominal Isabelle/HOL

無料で聴く

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

  • サマリー

  • In this episode, I discuss the paper Nominal Techniques in Isabelle/HOL, by Christian Urban. This paper shows how to reason with terms modulo alpha-equivalence, using ideas from nominal logic. The basic idea is that instead of renamings, one works with permutations of names.

    続きを読む 一部表示

あらすじ・解説

In this episode, I discuss the paper Nominal Techniques in Isabelle/HOL, by Christian Urban. This paper shows how to reason with terms modulo alpha-equivalence, using ideas from nominal logic. The basic idea is that instead of renamings, one works with permutations of names.

続きを読む 一部表示

Nominal Isabelle/HOLに寄せられたリスナーの声

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

Audible.co.jp

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