Page "Intuitionistic type theory" Paragraph 41
from
Wikipedia
The following styles of judgements are used to create new objects, types and relations from existing ones.
Page 1 of 1.
1.815 seconds.