Nuprl Definition : top

Top ==  ⋂x:Void. Void



Definitions occuring in Statement :  isect: x:A. B[x] void: Void
Definitions occuring in definition :  isect: x:A. B[x] void: Void
Rules referencing :  callbyvalueSpread callbyvalueDecide decideExceptionCases spreadExceptionCases
FDL editor aliases :  top

Latex:
Top  ==    \mcap{}x:Void.  Void



Date html generated: 2016_05_13-PM-03_06_30
Last ObjectModification: 2015_09_22-PM-05_43_46

Theory : core_2


Home Index