Nuprl Definition : proof-abort
proof-abort(s;r) == <<s, r>, λx.x>
Definitions occuring in Statement :
lambda: λx.A[x],
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
lambda: λx.A[x]
FDL editor aliases :
proof-abort
Latex:
proof-abort(s;r) == <<s, r>, \mlambda{}x.x>
Date html generated:
2016_05_15-PM-03_14_47
Last ObjectModification:
2015_12_16-PM-03_19_59
Theory : general
Home
Index