Subjects: name binding; locally nameless; metatheory of syntax
تفاصيل العنوان
Subjects: 4902 Mathematical Physics; 4904 Pure Mathematics; 49 Mathematical Sciences
Subjects: 4904 Pure Mathematics; 49 Mathematical Sciences
Subjects: category theory; internal categories; enriched categories
Subjects: automorphisms of free groups; homology stability
Subjects: Quantum groups; D-modules; p-adic representation theory
Subjects: Infinitesimals; Infinitesimally Affine Spaces; Synthetic Differential Geometry
Subjects: Automorphism groups; Cohomology of groups