A Proof of the Associated Sheaf Theorem by Means of Categorical Logic.

Barbara Veit A Proof of the Associated Sheaf Theorem by Means of Categorical Logic. 45-55 1981 46 J. Symb. Log. 1 db/journals/jsyml/jsyml46.html#Veit81