| 2006 | ||
|---|---|---|
| 1 | EE | Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi: An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. Electr. Notes Theor. Comput. Sci. 159: 117-137 (2006) |
| 1 | Seyed-Hassan Mirian-Hosseinabadi | [1] |