type (Q124168363)
concept in type theory
Language:
other details
description concept in type theory

External Links
(P2812) Type
(P4215) type