
Strong normalization of lambda-bar-mu-mu-tilde-calculus with explicit substitutions
Author(s) -
Emmanuel Polonovski
Publication year - 2004
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - normalization (sociology) , lambda , tilde , bar (unit) , physics , combinatorics , mathematics , calculus (dental) , computer science , quantum mechanics , medicine , dentistry , sociology , meteorology , anthropology