| |
| 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) | |
| 1 | Peter Dybjer | [2] |
| 2 | Philip J. Scott | [2] |