Ghilezan, SilviaKuncak, Viktor2007-08-212007-08-212007-08-21200110.1007/3-540-45446-2_3https://infoscience.epfl.ch/handle/20.500.14299/10351Confluence of untyped lambda calculus via simple typestext::conference output::conference proceedings::conference paper