Here are some resources on meaning explanations for type theory.