[TYPES/announce] Course: HIGHLIGHTS of Lambda Calculus and Term Rewriting Systems, by

henk henk at cs.ru.nl
Thu Nov 13 09:13:05 EST 2008

Previous message: [TYPES/announce] First Call for Papers: TASE 2009
Next message: [TYPES/announce] ECOOP 2009 Call for Tutorials
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

COURSE ANNOUNCEMENT

HIGHLIGHTS of Lambda Calculus and Term Rewriting Systems
by
Henk Barendregt & Jan Willem Klop

16/20.02.2009
Technical University Eindhoven
The Netherlands

See

www.cs.ru.nl/~henk/LC-TRS.pdf

Previous message: [TYPES/announce] First Call for Papers: TASE 2009
Next message: [TYPES/announce] ECOOP 2009 Call for Tutorials
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list