Markus Marzetta

According to our database1, Markus Marzetta authored at least 2 papers between 1992 and 1998.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals.
Arch. Math. Log., 1998

1992
Universes in the Theory of Types and Names.
Proceedings of the Computer Science Logic, 6th Workshop, 1992


  Loading...