| |
| 2006 | ||
|---|---|---|
| 2 | EE | Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo: Preface. Electr. Notes Theor. Comput. Sci. 153(1): 1-2 (2006) |
| 1987 | ||
| 1 | Stuart Allen: A Non-Type-Theoretic Definition of Martin-Löf's Types LICS 1987: 215-221 | |
| 1 | John N. Crossley | [2] |
| 2 | Kung-Kiu Lau | [2] |
| 3 | Iman Poernomo | [2] |