| |
| 2000 | ||
|---|---|---|
| 3 | EE | Michael Marz: A fully abstract model for sequential computation. Electr. Notes Theor. Comput. Sci. 35: (2000) |
| 1999 | ||
| 2 | EE | Michael Marz, Alexander Rohr, Thomas Streicher: Full Abstraction and Universality via Realisability. LICS 1999: 174-182 |
| 1 | EE | Michael Marz: An Algebraic View on Recursive Types. Applied Categorical Structures 7(1-2): 147-157 (1999) |
| 1 | Alexander Rohr | [2] |
| 2 | Thomas Streicher | [2] |