Développement : Sémantique dénotationelle de PCF

Détails/Enoncé :

On construit la sémantique dénotationelle de PCF, en démontrant la continuité des diverses constructions au fur et à mesure.

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :

Foundations for Programming Languages, John C. Mitchell (utilisée dans 1 versions au total)