{"id":2792,"date":"2016-10-10T10:01:06","date_gmt":"2016-10-10T01:01:06","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=2792"},"modified":"2017-03-03T11:37:36","modified_gmt":"2017-03-03T02:37:36","slug":"in-japanese-only-%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-en\/2016\/10\/10\/2792\/","title":{"rendered":"Ryota Akiyoshi \u3000\u201cStrong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule\u201d"},"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":[95],"tags":[94,73],"class_list":["post-2792","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news-en","tag-general-en","tag-research-en"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/2792","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=2792"}],"version-history":[{"count":0,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/2792\/revisions"}],"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=2792"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=2792"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=2792"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}