WhoCites
Definitions
NuprlPrimitives
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites sfa
doc
sexpr?
sfa_doc_sexpr
Def Sexpr(
A
) == rec(
T
.(
T
T
)+
A
)
Thm*
A
:Type. Sexpr(
A
)
Type
Syntax:
Sexpr(
A
)
has structure:
sfa_doc_sexpr(
A
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
NuprlPrimitives
Sections
NuprlLIB
Doc
T)+A)
A:Type. Sexpr(A) 
TypeT)+A)A:Type. Sexpr(A) Type
