Accueil > Reducibility method for termination properties of typed lambda terms
 

Reducibility method for termination properties of typed lambda terms

Ghilezan, Silvia ; Kuncak, Viktor ; Likavec, Silvia

Publié dans:
Fifth International Workshop on Termination
Année
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é



 Notice créée le 2007-08-21, modifiée le 2018-03-17


Évaluer ce document:

Rate this document:
1
2
3
4
5
 
(Pas encore évalué)