Ghilezan, SilviaKuncak, ViktorLikavec, Silvia2007-08-212007-08-212007-08-212001https://infoscience.epfl.ch/handle/20.500.14299/10353Reducibility method for termination properties of typed lambda termstext::conference output::conference proceedings::conference paper