Bicartesian Coherence (2007)

by Kosta Dosen , Zoran Petrić