polymorphic type theory

GPTKB entity