Braids, Twists, Trace and Duality in Combinatory Algebras.

Masahito Hasegawa, Serge Lechenne

Browse the full LICS paper archive.