coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Cut Elimination Theorem

From: Lourdes Del Carmen Gonzalez Huesca <luglzhuesca AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Cut Elimination Theorem
Date: Thu, 17 May 2018 18:09:22 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=luglzhuesca AT gmail.com; spf=Pass smtp.mailfrom=luglzhuesca AT gmail.com; spf=None smtp.helo=postmaster AT mail-ot0-f170.google.com
Ironport-phdr: 9a23:LooBBBK0lX+yHs7n29mcpTZWNBhigK39O0sv0rFitYgRLPjxwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhyUJNzA5/m/ZidF+grxHrx+6vRNz35TZbZuJOPZifK7Qe84RS2pbXsZWUixMGoWyb4wSD+obIOlXsZL9rEYAoxSgAQmnGf3ixSVShn/zw6I61fkqHwDB3AwmHtMBqnDUo8v0NawPU+610bfHzS7fYPxMxDzw74zIcg0uofGIXLNwcdfRxlc0FwzZlFqdsoPlPzaP2eQMt2iX9fZvVeWqi2M+rQx6vzuhxt80h4TLiY8Z0E3I+Tt5zYovJtC0VlR3bcOmHZdMsSyRKpF4Tdk4Q25yvSY30r0GtoC/fCgN0JknwgTQa/2Dc4SR5RLjSPqdLS52hH54er+zmwy+8Uenyu37Wcm01EhFojBZndnLs3ABzx3T6s6ZRfth5kqs2zmC2xrO5u1aIU04j6nWJ4A7zrItlJcfrVzPHirsl0X3iK+WeF8k+u+t6+n/ZrXmu5CcN4t1iwH+L6QhhNe/DvgiPQUVUGib/P6z1Lzn/UHjXLpKifg2nrHDsJ/GPcQburK5AwhN34k/7Ba/Fi6q38gcnXkaN11IYwmHjojsO1HWOv/0F/a/g1K2kDdq3f/KJLPhAo+eZkTExbzmZPN271NW4As119FWoZxOWZ8bJ/emfkjsrtDVFVcVPgj86O/9Ddh7nqwZX3CGBqKLeIPPvESD76p7J/SDYJ0VpTvmIPEN6PvnjHt/klgYK/r6laALYWy1S6w1a36SZmDh149YQDU6+zEmRemvs2WsFDtaZnK8RaU5v2hpB4evDIOFTYeo0uXYgHWLW6ZOb2UDMWiiVG/yftzdCfgJYSOWZMRml25cDOXze8oazRir8TTC5f9nI+7ToHNKsJvi0J1y+7WWm0htrXp7CMOS12zLRGZxzDsF

Carlos, Daniel,

thank you very much for the pointers.

I will follow the projects and references there.

Greetings,

Lourdes

[Coq-Club] Cut Elimination Theorem, Lourdes Del Carmen Gonzalez Huesca, 05/16/2018
- Re: [Coq-Club] Cut Elimination Theorem, Carlos Olarte, 05/16/2018
- Re: [Coq-Club] Cut Elimination Theorem, Daniel Schepler, 05/16/2018
  - Re: [Coq-Club] Cut Elimination Theorem, Lourdes Del Carmen Gonzalez Huesca, 05/18/2018