Ghilezan, SilviaKuncak, Viktor2007-08-212007-08-212007-08-212000https://infoscience.epfl.ch/handle/20.500.14299/10346Reducibility Method in Simply Typed Lambda Calculustext::conference output::conference proceedings::conference paper