What are the prereqs to be able to read martin lof?

I'm looking for pre books to be able to read martin lof. I'm familiar with denotational/operational semantics, some functional programming, galois theory, algebraic geometry, point set topology, first order logic systems like gentzen, hilbert.

thnx in advance.