349 подписчиков
149 видео
TYPES2025 - 5.16. Nicolai Kraus - Representing type theories in two-level type theory
