coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] XML representation of typed lambda-terms

From: S�bastien Hinderer <Sebastien.Hinderer AT loria.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] XML representation of typed lambda-terms
Date: Wed, 18 Jul 2007 08:40:26 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Dear Coq friends,

Is there some (de facto) standard around to represent typed lambda-terms
as XML documents ?
Any information will be very welcome.

Thanks,
S�bastien.

[Coq-Club] XML representation of typed lambda-terms, S�bastien Hinderer