{"id":159,"date":"2011-07-18T14:28:11","date_gmt":"2011-07-18T14:28:11","guid":{"rendered":"http:\/\/people.unica.it\/sdfe\/?p=159"},"modified":"2011-10-01T08:41:58","modified_gmt":"2011-10-01T08:41:58","slug":"conferenza-prof-a-salibra","status":"publish","type":"post","link":"https:\/\/people.unica.it\/sdfe\/?p=159","title":{"rendered":"Conferenza Prof. A. Salibra"},"content":{"rendered":"<p style=\"text-align: center\"><strong>Gioved\u00ec 21 luglio 2011, alle ore 15<\/strong><br \/>\nFacolt\u00e0 di Scienze della Formazione, <strong>aula 2A<\/strong> (corpo aggiunto)<\/p>\n<p style=\"text-align: center\">il<\/p>\n<p style=\"text-align: center\"><strong>Prof. Antonino Salibra<\/strong><br \/>\n(Universit\u00e0 Ca&#8217; Foscari, Venezia)<\/p>\n<p style=\"text-align: center\">terr\u00e0 una conferenza dal titolo:<\/p>\n<p style=\"text-align: center\"><em>\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 Dimostrazioni in logica classica come programmi:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 una generalizzazione del lambda calcolo<\/em><\/p>\n<p style=\"text-align: center\"><strong><br \/>\n<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Gioved\u00ec 21 luglio 2011, alle ore 15 Facolt\u00e0 di Scienze della Formazione, aula 2A (corpo aggiunto) il Prof. Antonino Salibra (Universit\u00e0 Ca&#8217; Foscari, Venezia) terr\u00e0 una conferenza dal titolo: \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 Dimostrazioni in logica classica come programmi:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 una generalizzazione del lambda calcolo<\/p>\n","protected":false},"author":482,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[19434],"tags":[],"class_list":["post-159","post","type-post","status-publish","format-standard","hentry","category-avvisi-corsi-e-seminari","category-19434-id","post-seq-1","post-parity-odd","meta-position-corners","fix"],"_links":{"self":[{"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=\/wp\/v2\/posts\/159","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=\/wp\/v2\/users\/482"}],"replies":[{"embeddable":true,"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=159"}],"version-history":[{"count":4,"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=\/wp\/v2\/posts\/159\/revisions"}],"predecessor-version":[{"id":193,"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=\/wp\/v2\/posts\/159\/revisions\/193"}],"wp:attachment":[{"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=159"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=159"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/people.unica.it\/sdfe\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=159"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}