[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Subject: Knights of the Lambda Calculus Meeting Aug 7.-10., near
Andreas Bogk wrote:
> The Discordian Section of the Grand Recursive Order of the Knights of
> the Lambda Calculus is pleased to announce it's gathering at the
>
>
> Chaos Communication Camp (http://www.ccc.de/camp/),
>
>
> taking place August 7th to 10th near Berlin, Germany. Fellow knights
> from other sections or other orders are very welome to participate.
Silly me, I thought CCC stood for "Cartesian-Closed Category".
Perhaps that refers only for the simply-typed members of the Knights.
-- Paul