Keywords: dependent type theory, context-free type theory, formal meta-theory, proof assistantsFull text (file, 2,36 MB) This document has more files! More...