Djordje Cubric

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

2 Djordje Cubric, Peter Dybjer, Philip J. Scott: Normalization and the Yoneda Embedding. Mathematical Structures in Computer Science 8(2): 153-192 (1998)

1997

1 Djordje Cubric: On the Semantics of the Universal Quantifier. Ann. Pure Appl. Logic 87(3): 209-239 (1997)

	1998
2		Djordje Cubric, Peter Dybjer, Philip J. Scott: Normalization and the Yoneda Embedding. Mathematical Structures in Computer Science 8(2): 153-192 (1998)
	1997
1		Djordje Cubric: On the Semantics of the Universal Quantifier. Ann. Pure Appl. Logic 87(3): 209-239 (1997)

Coauthor Index