You should read the homotopy type theory book if you’re interesting in things like this :p

But to answer your question, there’s one here: https://arxiv.org/abs/1305.3835