Djordje Cubric

According to our database, Djordje Cubric authored at least 4 papers between 1988 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

Normalization and the Yoneda Embedding.

Djordje Cubric, Peter Dybjer, Philip J. Scott

Math. Struct. Comput. Sci., 1998

1997

On the Semantics of the Universal Quantifier.

Djordje Cubric

Ann. Pure Appl. Log., 1997

1994

Interpolation property for bicartesian closed categories.

Djordje Cubric

Arch. Math. Log., 1994

1988

There are denumerably many ternary intuitionistic Sheffer functions.

Djordje Cubric

Notre Dame J. Formal Log., 1988