mirage

Parcourir Sciences Physiques et Mathématiques / Physics and Mathematics par l'auteur "Hirschkoff, Daniel"

Système d'archivage DSpace/Manakin

Parcourir Sciences Physiques et Mathématiques / Physics and Mathematics par l'auteur "Hirschkoff, Daniel"

Tri par : Ordre : Résultats :

  • Laboratoire de l'informatique du parallélisme; Roeckl, Christine; Hirschkoff, Daniel; Berghofer, Stefan (2000-06)
    (eng) Higher order abstract syntax is a natural way to formalize programming languages with binders, like the pi-calculus, because alpha-conversion and beta-reduction are delegated to the meta level of the provers, making ...

Recherche


Recherche avancée

Parcourir

Mon compte

Bookmark and Share