Reducibility method for termination properties of typed lambda terms


Publié dans:
Fifth International Workshop on Termination
Année
2001
Laboratoires:




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


Évaluer ce document:

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