empty type (Q115801140)
in type theory, a type with no terms
Language:
other details
description in type theory, a type with no terms