Marco Benini


For those interested, I want to signal the workshop Foundation of Mathematics for Computer-Aided Formalization. I’ve just registered for participation.

November 28, 2012 · Leave a comment

Curry-Howard II

A few days ago, I gave a talk in the Logic Seminar at Leeds. The slides are available at leeds14102012. Essentially, it shows a semantics for full first-order intuitionistic logic in … Continue reading

November 22, 2012 · Leave a comment


The Curry-Howard isomorphism relates lambda-calculus with intuitionistic logic. Essentially, it says that to every variant of intuitionistic logic (propositional vs predicative, first-order, second-order, weak higher-order, full higher-order) corresponds a typed … Continue reading

December 27, 2011 · Leave a comment

Today’s seminar

Today I spoke about Adpositional Grammars introducing them to my colleagues in Leeds. This post is to whom is interested and wants to have a look at the slides.

October 26, 2011 · Leave a comment

AucTeX and XeLaTeX

When working with XeLaTex (the xelatex command) you need to compile the LaTeX source from a terminal (Unix/Linux/MacOS) or from the command prompt (Windows). As I frequently use XeLaTeX and … Continue reading

October 21, 2011 · 1 Comment

Seminar announce

In the Proof Theory Seminars series, I will give a talk on Adgrams: categories and linguistics. The seminar will take place in MALL 2, School of Mathematics, University of Leeds, … Continue reading

October 18, 2011 · Leave a comment

Gaetano Aurelio Lanzarone

Questa notte è mancato il professor Gaetano Aurelio Lanzarone, che tutti noi chiamavamo familiarmente Elio. Elio mi ha insegnato, quando ancora ero uno studente, i rudimenti di intelligenza artificiale nel … Continue reading

October 4, 2011 · Leave a comment

Sabbatical period

From October 1st I’m in a sabbatical period. Till the end of March 2013, I’ll be in the Department of Pure Mathematics, University of Leeds, as a Marie Curie Research … Continue reading

October 2, 2011 · Leave a comment

Olivia’s Website

Olivia Caramello has now a website where she explains her research activity and, in particular, the unification project.

September 6, 2011 · 1 Comment

Email not working

In the last few days, the addresses have been out of work. Please, if needed, contact me on the alternate address marco.benini at Negli ultimi giorni, gli indirizzi … Continue reading

August 30, 2011 · Leave a comment