Why the usual candidates of reducibility do not work for the symmetric λµ-calculus (2005)

by R David, K Nour
Venue:Electronic Notes in Theoretical Computer Science