Nuprl Definition : per-void
per-void() == pertype(λa,b. (tt ≤ ff))
Definitions occuring in Statement :
pertype: pertype(R),
bfalse: ff,
btrue: tt,
lambda: λx.A[x],
sqle: s ≤ t
Definitions occuring in definition :
pertype: pertype(R),
lambda: λx.A[x],
sqle: s ≤ t,
btrue: tt,
bfalse: ff
FDL editor aliases :
per-void
Latex:
per-void() == pertype(\mlambda{}a,b. (tt \mleq{} ff))
Date html generated:
2016_05_13-PM-03_53_24
Last ObjectModification:
2015_09_22-PM-05_45_30
Theory : per!type
Home
Index