WhoCites
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
Who Cites termin?
termin
Def x
t == PRIMITIVE
Thm*
a:Term, A:Type. (a
A)
Type
Syntax:
x
t
has structure:
termin(t; x)
About:
WhoCites
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
t == PRIMITIVE
a:Term, A:Type. (a A) Type t == PRIMITIVEa:Term, A:Type. (a A) Type t
