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