Notes on categories with families, interpreting syntax into CwFs, and some semantic models.
Primary LanguageTeX