[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

Reply via email to