There are denumerably many ternary intuitionistic Sheffer functions. - Djordje Cubric (Notre Dame J. Formal Log., 1988)

Interpolation property for bicartesian closed categories. - Djordje Cubric (Arch. Math. Log., 1994)

On the Semantics of the Universal Quantifier. - Djordje Cubric (Ann. Pure Appl. Log., 1997)

Normalization and the Yoneda Embedding. - Djordje Cubric; Peter Dybjer; Philip J. Scott (Math. Struct. Comput. Sci., 1998)