mirage

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Lambda-Mu Calculus"

DSpace/Manakin Repository

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Lambda-Mu Calculus"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Audebaud, Philippe (1994-09-08)
    (eng) We present a confluent rewriting system wich extends a previous calculus for the Lambda-Calculus (Levy, Hardin) to Parigot's untyped Lambda-Mu-Calculus. This extension embeds the Lambda- Mu-Calculus as a sub-theory, ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share