Metadata
Author: WikiMatrix
Data
English[en]
As a result, research into this class of formal systems began to address both logical and computational aspects; this area of research came to be known as modern type theory.
Korean[ko]
결과적으로, 이 형식적 체계의 클래스가 논리학적인 면과 계산기적인 면과의 양쪽 모두를 설명하게 되었다; 이 연구 영역은 현대형 이론으로서 알려지게 되었다.