On 4 Jan 2014, at 6:17 pm, Bill Richter wrote:
> To see this, think of a mathematical function f: X ---> Y between sets and a
> subset A of X. Then we speak of the image f(A), which is a subset of Y,
> defined by
>
> f(A) = {f(a) | a ∈ A}.
>
> But what does that mean? I claim it's just a shor
Rob, thanks for correcting my variable capture mistake:
In this case, the two instances of x have different types and there
is no variable capture, since two variables with the same name but
different types are considered to be distinct in the logic.
Right, and you have to do the type in
Subject: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014
3rd CALL FOR PAPERS:
CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
IMPORTANT DAT
