{"id":2790,"date":"2016-10-10T10:00:15","date_gmt":"2016-10-10T01:00:15","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=2790"},"modified":"2017-03-03T11:38:35","modified_gmt":"2017-03-03T02:38:35","slug":"%e7%a7%8b%e5%90%89-%e4%ba%ae%e5%a4%aa-%e5%8a%a9%e6%95%99-%e3%81%ae%e8%ab%96%e6%96%87%e3%81%8c%e6%8e%b2%e8%bc%89%e3%81%95%e3%82%8c%e3%81%be%e3%81%97%e3%81%9f%e3%80%82","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news\/2016\/10\/10\/2790\/","title":{"rendered":"\u79cb\u5409 \u4eae\u592a \u52a9\u6559 \u306e\u8ad6\u6587\u304c\u63b2\u8f09\u3055\u308c\u307e\u3057\u305f\u3002 Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule"},"content":{"rendered":"<h3><a href=\"http:\/\/drops.dagstuhl.de\/opus\/frontdoor.php?source_opus=5971\" target=\"_blank\">Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule<\/a><img loading=\"lazy\" decoding=\"async\" class=\"icoA01\" src=\"http:\/\/www.waseda.jp\/wias\/common\/images\/mod_ico_external_01.gif\" alt=\"\u65b0\u898f\u30a6\u30a3\u30f3\u30c9\u30a6\u304c\u958b\u304d\u307e\u3059\" width=\"11\" height=\"11\" \/><\/h3>\n<p>Ryota Akiyoshi and Kazushige Terui, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, Portugal, Leibniz International Proceedings in Informatics, Vol.52, pp.5:1-5:15, 2016.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule Ryota Akiyoshi [&hellip;]<\/p>\n","protected":false},"author":6,"featured_media":2772,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[26,28],"class_list":["post-2790","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news","tag-general","tag-research"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/2790","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/comments?post=2790"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/2790\/revisions"}],"predecessor-version":[{"id":2848,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/2790\/revisions\/2848"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media\/2772"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media?parent=2790"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=2790"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=2790"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}