coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Domain theory in Coq

From: "Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Domain theory in Coq
Date: Fri, 5 Jan 2018 16:08:59 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bcpierce AT cis.upenn.edu; spf=Pass smtp.mailfrom=bcpierce AT cis.upenn.edu; spf=None smtp.helo=postmaster AT fox.seas.upenn.edu
Ironport-phdr: 9a23:nhSJXxyQEV9dxivXCy+O+j09IxM/srCxBDY+r6Qd1O4fIJqq85mqBkHD//Il1AaPAd2Craocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HObwlSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHolCgJODE2/m/KhMJzkqxVpwmspwBmw47RfI2VNOZyc6HbcNgHRWRBRMFRVylZD4+ycoYAEewBPeRCoIn4plsOqwa1CBe2COjy0DFIh2H53bcm3Os/Hw3NwQstEMkSv3TMrdX6Kr0SXvyrw6TT0TrDbuhW1S3g6IjQbB8hp/eMUahufsXM1EkiDgXIhUiTp4z9Jz6Zy+QAvmuB4+Z9W++jl3QrpgNsrjS128sglI3EipoIxl3E9ih12ps5KNOkREJhYdOpHoFcuz+eOoZwX8gsWXtnuDwgxb0DoZO7fDYFyJAgxxPHZfyHdIeJ7gj4VOmPOzh4n2hpeK+nhxms90igzPfwWdep31ZXtiZFk9/MuW4R1xHL98SKSvhw8l281TuBywzf8ONJLV0umabGNZIsxqY8lp8JvkTCGi/2ll/2jKiTdkg84een9/znYrT4qZ+GK4B7lBrzPbgvmsykG+g4LxAOUHad+eS6zrHs41D2QKhSgv0sjqbZqIzaJdgcpqOhHwBV1Z8j5w+jADeizdQXhmIKLElFeRKCl4jmIUvCIPH+DfelglSjii1nx/7cPu6pPpKYJX/a1bzlYLxV6khGyQN1w8oMyYhTD+RLCv/1WEb0tdqQJVlxCw252e3qQp0p3IgGWG+VCaKxO6LJ90KQ6+QpZeSAedlG637GN/E56qu23jcCklgHcPzx0A==

I’m looking for a nice development of “textbook domain theory” in Coq, to
supplement some lectures in a graduate course. Google pointed me to ones by
Rob Dawkins and Nick Benton, but I’m sure there must be lots of others. Any
particular recommendations?

Thanks!

- Benjamin

[Coq-Club] Domain theory in Coq, Benjamin C. Pierce, 01/05/2018
- Re: [Coq-Club] Domain theory in Coq, Robert, 01/10/2018
- <Possible follow-up(s)>
- RE: [Coq-Club] Domain theory in Coq, Moez A. AbdelGawad, 01/06/2018
  - RE: [Coq-Club] Domain theory in Coq, Nathaniel Yazdani, 01/06/2018
- Re: [Coq-Club] Domain theory in Coq, Moez A. AbdelGawad, 01/27/2018