coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Gergely Buday <gbuday AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] formalising languages with binders
- Date: Tue, 9 Dec 2014 15:41:57 +0100
Hi there,
what is the current state of the art of formalising languages with
binders using Coq? What are the classic papers on this?
- Gergely
- [Coq-Club] formalising languages with binders, Gergely Buday, 12/09/2014
- Re: [Coq-Club] formalising languages with binders, Harley Eades III, 12/09/2014
- Re: [Coq-Club] formalising languages with binders, Abhishek Anand, 12/09/2014
- Re: [Coq-Club] formalising languages with binders, Harley Eades III, 12/09/2014
Archive powered by MHonArc 2.6.18.