{"categories":["linear-logic","Frank Pfenning"],"provider_name":"Hatena Blog","image_url":null,"blog_title":"\u5acc\u6c17\u6027\u5e73\u5747\u5f8b","blog_url":"https://ekamasmi.hatenadiary.org/","url":"https://ekamasmi.hatenadiary.org/entry/20050801/p4","published":"2005-08-01 00:00:04","author_name":"ekamasmi","width":"100%","version":"1.0","height":"190","description":"168p. http://www-2.cs.cmu.edu/~fp/courses/linear/handouts/linear.pdf","author_url":"https://blog.hatena.ne.jp/ekamasmi/","title":"Linear Logic Handouts","type":"rich","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fekamasmi.hatenadiary.org%2Fentry%2F20050801%2Fp4\" title=\"Linear Logic Handouts - \u5acc\u6c17\u6027\u5e73\u5747\u5f8b\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}