Login / Signup

Stack semantics of type theory.

Thierry CoquandBassel MannaaFabian Ruch
Published in: LICS (2017)
Keyphrases