https://marcobenini.me/lectures/2026-03-24T18:09:13+00:00weekly0.6https://marcobenini.me/lectures/mathematical-logic/2026-03-24T18:08:17+00:00weekly0.6https://marcobenini.me/lectures/history-of-mathematics/2026-03-15T09:11:52+00:00weekly0.6https://marcobenini.me/lectures/logica-e-argomentazione/2026-02-19T10:20:45+00:00weekly0.6https://marcobenini.me/research/https://marcobenini.me/wp-content/uploads/2011/03/fb_2147.jpgfb_21472026-01-29T13:36:20+00:00weekly0.6https://marcobenini.me/about-2/https://marcobenini.me/wp-content/uploads/2011/03/fb_8650.jpgfb_8650https://marcobenini.me/wp-content/uploads/2011/03/fb_8669.jpgfb_8669https://marcobenini.me/wp-content/uploads/2011/03/3874176739_3e5c007e65.jpg3874176739_3e5c007e652026-01-25T17:45:07+00:00weekly0.6https://marcobenini.me/publications/2026-01-25T17:40:46+00:00weekly0.6https://marcobenini.me/lectures/fondamenti-di-matematica/2025-05-01T12:54:05+00:00weekly0.6https://marcobenini.me/lectures/logica-informatica/2025-02-13T16:38:32+00:00weekly0.6https://marcobenini.me/projects/2023-08-05T10:39:51+00:00weekly0.6https://marcobenini.me/dissertations/2023-02-21T18:13:52+00:00weekly0.6https://marcobenini.me/lectures/mathematical-logic/mathematical-logic-online-course/2022-11-09T19:00:45+00:00weekly0.6https://marcobenini.me/lectures/logica-informatica/logica-corso-online/2021-10-29T13:00:02+00:00weekly0.6https://marcobenini.me/lectures/mathematical-logic/mathematical-logic-online-lessons/2021-01-15T09:16:31+00:00weekly0.6https://marcobenini.me/news/2020-02-17T11:28:05+00:00weekly0.6https://marcobenini.me/2015/09/28/new-course-started/https://marcobenini.me/wp-content/uploads/2015/09/fb_6336.jpgFinger2015-09-28T14:37:48+00:00monthlyhttps://marcobenini.me/2015/09/16/new-look/https://marcobenini.me/wp-content/uploads/2015/09/fb_7193.jpgFB_71932015-09-16T15:47:18+00:00monthlyhttps://marcobenini.me/2014/12/02/latexing-proofs/2014-12-02T17:13:32+00:00monthlyhttps://marcobenini.me/2014/10/16/time-for-a-change/2014-10-16T14:18:03+00:00monthlyhttps://marcobenini.me/2014/05/28/visiting-jaist/2014-05-28T01:34:09+00:00monthlyhttps://marcobenini.me/2014/02/03/workshop-in-genoa/2014-02-03T13:22:05+00:00monthlyhttps://marcobenini.me/2013/11/19/problems-with-email/2013-11-19T07:51:24+00:00monthlyhttps://marcobenini.me/2013/07/02/point-free-semantics/2013-07-02T09:44:55+00:00monthlyhttps://marcobenini.me/2013/06/30/new-blog/2013-06-30T20:47:56+00:00monthlyhttps://marcobenini.me/2013/04/20/seminario-a-firenze/2013-04-20T10:29:43+00:00monthlyhttps://marcobenini.me/2012/11/28/307/2012-11-28T15:07:47+00:00monthlyhttps://marcobenini.me/2012/11/22/curry-howard-ii/2012-11-22T18:05:54+00:00monthlyhttps://marcobenini.me/2011/12/27/curry-howard/2011-12-26T23:27:47+00:00monthlyhttps://marcobenini.me/2011/10/26/todays-seminar/2011-10-26T17:01:29+00:00monthlyhttps://marcobenini.me/2011/10/21/auctex-and-xelatex/2011-11-01T03:36:22+00:00monthlyhttps://marcobenini.me/2011/10/18/seminar-announce/2011-10-18T11:00:40+00:00monthlyhttps://marcobenini.me/2011/10/04/gaetano-aurelio-lanzarone/2011-10-04T10:58:23+00:00monthlyhttps://marcobenini.me/2011/10/02/sabbatical-period/2011-10-02T15:54:08+00:00monthlyhttps://marcobenini.me/2011/09/06/olivias-website/2011-09-15T09:27:49+00:00monthlyhttps://marcobenini.me/2011/08/30/email-not-working/2011-08-30T10:38:52+00:00monthlyhttps://marcobenini.me/2011/07/13/book-on-constructive-linguistics/2011-07-13T08:38:55+00:00monthlyhttps://marcobenini.me/2011/05/03/a-few-notes-on-balanced-trees/2011-05-03T17:57:25+00:00monthlyhttps://marcobenini.me/2011/04/11/progetto-monnezza/2011-04-11T17:05:39+00:00monthlyhttps://marcobenini.me/2011/04/05/italian-keyboards-and-emacs/2011-04-06T09:28:06+00:00monthlyhttps://marcobenini.me/2011/04/04/monomorphisms-as-limits/https://marcobenini.me/wp-content/uploads/2011/04/0404111.jpg040411https://marcobenini.me/wp-content/uploads/2011/04/040411.jpg0404112011-04-04T22:14:11+00:00monthlyhttps://marcobenini.me/2011/04/04/old-website/2011-04-04T11:47:56+00:00monthlyhttps://marcobenini.me/2011/04/01/an-exact-formula-for-satisfiability/2011-04-01T13:43:09+00:00monthlyhttps://marcobenini.me/2011/04/01/a-quick-satisfiability-check/2011-04-01T13:40:13+00:00monthlyhttps://marcobenini.me/2011/03/29/order-and-small-disorder/2011-03-29T14:33:48+00:00monthlyhttps://marcobenini.me/2011/03/21/new-home-site/2011-04-04T10:54:43+00:00monthlyhttps://marcobenini.medaily1.02026-03-24T18:09:13+00:00