작은 객체를 가진 유형 이론

유형 이론의 확장과 작은 객체의 중요성