Comorphism-based Grothendieck logics (2002)

by T Mossakowski
Venue:in Mathematical Foundations of Computer Science, eds., K. Diks and W. Rytter, volume 2420 of LNCS, 593–604