{"id":2184,"date":"2018-12-01T11:18:17","date_gmt":"2018-12-01T10:18:17","guid":{"rendered":"https:\/\/werle.pro\/?p=2184"},"modified":"2018-12-01T11:18:17","modified_gmt":"2018-12-01T10:18:17","slug":"coq-aspects-pratiques-de-la-theorie-des-types","status":"publish","type":"post","link":"https:\/\/werle.pro\/index.php\/2018\/12\/01\/coq-aspects-pratiques-de-la-theorie-des-types\/","title":{"rendered":"Coq : aspects pratiques de la th\u00e9orie des types"},"content":{"rendered":"<p>Algorithmes, machines et langages &#8211; Yves Bertot (Inria Sophia-Antipolis) et Pierre Cast\u00e9ran (Labri, Laboratoire Bordelais de Recherche en Informatique )<\/p>\n<p><a href=\"http:\/\/www.college-de-france.fr\/site\/gerard-berry\/seminar-2018-12-13-17h30.htm\">www.college-de-france.fr\/site\/gerard-berry\/seminar-2018-12-13-17h30.htm<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Algorithmes, machines et langages &#8211; Yves Bertot (Inria Sophia-Antipolis) et Pierre Cast\u00e9ran (Labri, Laboratoire Bordelais de Recherche en Informatique ) www.college-de-france.fr\/site\/gerard-berry\/seminar-2018-12-13-17h30.htm<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","enabled":false}}},"categories":[10],"tags":[],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p7ALXt-ze","jetpack-related-posts":[],"_links":{"self":[{"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/posts\/2184"}],"collection":[{"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/comments?post=2184"}],"version-history":[{"count":1,"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/posts\/2184\/revisions"}],"predecessor-version":[{"id":2185,"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/posts\/2184\/revisions\/2185"}],"wp:attachment":[{"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/media?parent=2184"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/categories?post=2184"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/werle.pro\/index.php\/wp-json\/wp\/v2\/tags?post=2184"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}