Reducibility method for termination properties of typed lambda terms
2001
Détails
Titre
Reducibility method for termination properties of typed lambda terms
Auteur(s)
Ghilezan, Silvia ; Kuncak, Viktor ; Likavec, Silvia
Publié dans
Fifth International Workshop on Termination
Date
2001
Laboratoires
LARA
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LARA - Laboratoire d'analyse et de raisonnement automatisés
Travail hors EPFL
Papiers de conférence
Publié
Travail hors EPFL
Papiers de conférence
Publié
Date de création de la notice
2007-08-21