Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

CSC Talk: Lambda Calculus - Thursday (fwd)

1 view
Skip to first unread message

Christoph

unread,
Mar 4, 1998, 3:00:00 AM3/4/98
to


maube someone is interested...

Christoph


-----------------
Christoph Mangold cmma...@picard.math.waterloo.edu

---------- Forwarded message ----------
Date: Tue, 3 MAR 1998 19:25:12 GMT
From: Computer Science Club <c...@math.uwaterloo.ca>
Newgroups: uw.csc, uw.general, uw.talks, uw.math.ugrad, uw.cs.ugrad
Subject: CSC Talk: Lambda Calculus - Thursday


A Hitchhiker's Guide to the Lambda Calculus
by
Christopher Hendrie

The Lambda Calculus is both an elegant formal model of computation and a
powerful programming language. In this talk, I will introduce the calculus
of lambda-kappa-conversion and explore connections with computability,
programming language design, and algorithmic chemistry.

Thursday,March 5th, 1998
2:30
MC 4041

Tea and doughnaughts will be served.

oo$$$$$ooo o$$$$$oo$$$$$oo
o$$"" $$$" o$$"" $$$$$$ ""$$o C O M P U T E R
o$$ $$" $$" o$" "$$ $$o
$$ $$ $$o $$ $$o $$ S C I E N C E
$$o "$$ $$ o$$ $$ $$
$$o "$o $$" o$$ o$$ o$$" C L U B
"$$ooo$$$$$$ooo$$" $$$$ooo$$$

A Student Chapter of the ACM

0 new messages