LUG: Talk Tomorrow: Lambda Calculus - Cyrus Boushehri

Jack Rosenthal jrosenth at mines.edu
Wed Feb 14 08:58:51 MST 2018


LUGgers,

Tomorrow, Cyrus will be giving a talk on some of the basic aspects of
lambda calculus, a formal mathematical system based on functions that
serves as a universal model of computation: lambda calculus can be used
to simulate a Turing machine.

 Date: Thursday, 2018-02-15
 Time: 6 PM
 Location: ALAMODE Linux Lab (BB 136)
 Dinner provided!

Also, the Linux Help Session will be in the same room directly before at
5 PM. Look for Adam Frick.

See you there!

Jack

-- 
Jack M. Rosenthal                 ( http://inside.mines.edu/~jrosenth
Graduate Student, Computer Science )     http://jack.rosenth.al

We guarantee that each number is random individually, but we
don't guarantee that more than one of them is random.
    -- early PMMLCG vendor

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://mailman.mines.edu/pipermail/lug/attachments/20180214/a5b3f51f/attachment.sig>


More information about the LUG mailing list