Empty Carriers: The Categorical Burden on Logic.

Bernd Mahr Empty Carriers: The Categorical Burden on Logic. 50-65 1988 conf/category/1988 Categorial Methods in Computer Science db/conf/category/category1988.html#Mahr88