1. (100%) The Church-Rosser property in symmetric combinatory logic - Bimbó, Katalin
Symmetic combinatory logic with the symmetric analogue of a combinatorially complete base (in the ... theorem that no symmetric combinatory logic that contains at least two proper symmetric combinators
(application/pdf) - 19-sep-2008