Category:Type theory

This category contains articles associated with type theory.