• Nominal Isabelle/HOL

  • Jan 31 2025
  • Durée: 16 min
  • Podcast

Nominal Isabelle/HOL

Écouter gratuitement

Voir les détails du balado

  • Résumé

  • 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.

    Voir plus Voir moins
Voir plus Voir moins

Ce que les auditeurs disent de Nominal Isabelle/HOL

Moyenne des évaluations de clients

Évaluations – Cliquez sur les onglets pour changer la source des évaluations.

Évaluations sur Audible.ca

Évaluations sur Amazon.ca
Il n'y a pas encore de critiques pour ce titre.