2014-05-28-dependent-unions-in-intensional-type-theory.

Want to comment?

I’m @jonsterling on Twitter.

Clicky