Markus Marzetta

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Publications

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) (1998)
Markus Marzetta
Universes in the Theory of Types and Names. CSL (1992)