Category theory based on combinatory logic. M.W. Bunder (1984) Archiv für mathematische Logik und Grundlagenforschung
Coherence of Proof-net Categories Kosta Došen, Zoran Petrić (2005) Publications de l'Institut Mathématique