mirage

Browsing Sciences Physiques et Mathématiques / Physics and Mathematics by Author "Berghofer, Stefan"

DSpace/Manakin Repository

Browsing Sciences Physiques et Mathématiques / Physics and Mathematics by Author "Berghofer, Stefan"

Sort by: Order: Results:

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

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share