Tag: type theory

This quiz covers the fundamental concepts and principles of Type Theory, a branch of mathematical logic that studies the structure and properties of types.