Nuprl Definition : exception-with-name

exception-with-name(n;t) ==  exception(n; ⊥) ≤ t


Definitions occuring in Statement :  sqle: s ≤ t
Definitions occuring in definition :  sqle: s ≤ t
FDL editor aliases :  exception-with-name
Latex:
exception-with-name(n;t)  ==    exception(n;  \mbot{})  \mleq{}  t


Date html generated: 2016_05_13-PM-03_21_47
Last ObjectModification: 2015_09_22-PM-05_44_34

Theory : call!by!value_1


Home Index