FOM: Re: Arbitrary Objects
kanovei at wmwap1.math.uni-wuppertal.de
Wed Jan 30 13:26:36 EST 2002
Date: Wed, 30 Jan 2002 13:27:31 +0100
From: <P.T.M.Rood at ph.vu.nl> (P.T.M. Rood)
[begin of citation]
If we pursue this semantic line of thought then we could try for "let x be an
It seems promising to interpret such a sentence in terms of a "reset
change the value of the register named "x" to an object of type F.
[end of citation]
Can anybody explain why
*change the value of the register named "x" to an object of type F*
is better than
*let x satisfy F* ?
More information about the FOM