Login / Signup

Two-dimensional models of type theory.

Richard Garner
Published in: Math. Struct. Comput. Sci. (2009)
Keyphrases