coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] One week course: Lambda Calculus and Term Rewriting Systems

From: henk <henk AT cs.ru.nl>
To: coq-club AT pauillac.inria.fr, types-announce AT lists.seas.upenn.edu, types AT lists.chalmers.se, kgs AT logic.at
Subject: [Coq-Club] One week course: Lambda Calculus and Term Rewriting Systems
Date: Wed, 12 Nov 2008 16:39:32 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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 attachment.

Attachment: LC-TRS.pdf
Description: pdf

[Coq-Club] WORKSHOP "STRUCTURAL PROOF THEORY" November 19-21 2008 PARIS, Stefano Berardi
- [Coq-Club] One week course: Lambda Calculus and Term Rewriting Systems, henk