coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jonathan Leivent <jonikelee AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Intuitionistic Type Theory (and Coq) in the SEP
- Date: Sat, 13 Feb 2016 13:36:58 -0500
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jonikelee AT gmail.com; spf=Pass smtp.mailfrom=jonikelee AT gmail.com; spf=None smtp.helo=postmaster AT mail-qg0-f43.google.com
- Ironport-phdr: 9a23:2c02HxI2MpDy0YViZNmcpTZWNBhigK39O0sv0rFitYgVKvzxwZ3uMQTl6Ol3ixeRBMOAu60C0Lqd6vm7EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35vxjLD5osSIKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ7dnEKcFk7XujNcDz1XwSxhWVmYqUmjFtet42qp/tZ6jQKdJIXdSa0+EWCp6L4uQxv1gg8GMSQ4+SfZkJojorhcpUeDoBp2347dZsmxOftgc6XBNYcYQmxAXctVWiFpDYa1bo9JBO0Ea7UL57LhrkcD+EPtTTKnA/nin3oRiw==
http://plato.stanford.edu/entries/type-theory-intuitionistic/
-- Jonathan
- [Coq-Club] Intuitionistic Type Theory (and Coq) in the SEP, Jonathan Leivent, 02/13/2016
Archive powered by MHonArc 2.6.18.