Login / Signup
Djordje Cubric
Publication Activity (10 Years)
Years Active: 1988-1998
Publications (10 Years): 0
</>
Publications
</>
Djordje Cubric
,
Peter Dybjer
,
Philip J. Scott
Normalization and the Yoneda Embedding.
Math. Struct. Comput. Sci.
8 (2) (1998)
Djordje Cubric
On the Semantics of the Universal Quantifier.
Ann. Pure Appl. Log.
87 (3) (1997)
Djordje Cubric
Interpolation property for bicartesian closed categories.
Arch. Math. Log.
33 (4) (1994)
Djordje Cubric
There are denumerably many ternary intuitionistic Sheffer functions.
Notre Dame J. Formal Log.
29 (4) (1988)