| |
| 1998 | ||
|---|---|---|
| 2 | EE | Markus Marzetta, Thomas Strahm: The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals. Arch. Math. Log. 37(5-6): 391-413 (1998) |
| 1992 | ||
| 1 | Markus Marzetta: Universes in the Theory of Types and Names. CSL 1992: 340-351 | |
| 1 | Thomas Strahm | [2] |