Marco Benini

Point-free semantics

Following the Marie Curie Fellowship in Leeds which ended in March, I have finished to write the long and complex report about my findings in that sabbatical period. The report … Continue reading

July 2, 2013 · 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

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

Book on Constructive Linguistics

The book on Constructive Linguistics I wrote with Federico Gobbo is now available on the publisher’s site. Here the details: Constructive Adpositional Grammars: Foundations of Constructive Linguistics Author: Federico Gobbo … Continue reading

July 13, 2011 · Leave a comment