Marco Benini

Category Archives: Category Theory

Visiting JAIST

Currently, I’m in the Japanese Advanced Institute of Science and Technology, kindly hosted by Prof. H. Ishihara and Dr. T. Nemoto, as part of the CORCON research project. In this … Continue reading

May 28, 2014 · Leave a comment

Workshop in Genoa

In March I will be in Genoa for the “Correctness by Construction – CORCON 2014” meeting. In this workshop, part of the CORCON project, I am one of the organisers … Continue reading

February 3, 2014 · Leave a comment

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

Seminario a Firenze

Yesterday, I gave a seminar in the Department of Philosophy in Florence. If interested, here are the slides.

April 20, 2013 · 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

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

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

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