| |
| 2002 | ||
|---|---|---|
| 4 | Daniel Fridlender: A Proof-Irrelevant Model of Martin-Löf's Logical Framework. Mathematical Structures in Computer Science 12(6): 771-795 (2002) | |
| 2000 | ||
| 3 | Daniel Fridlender, Mia Indrika: Do we need dependent types? J. Funct. Program. 10(4): 409-415 (2000) | |
| 1998 | ||
| 2 | EE | Daniel Fridlender: An Interpretation of the Fan Theorem in Type Theory. TYPES 1998: 93-105 |
| 1996 | ||
| 1 | Daniel Fridlender: Highman's Lemma in theory. TYPES 1996: 112-133 | |
| 1 | Mia Indrika | [3] |