## New course started

Today, the course Mathematical Logic, in the master degree in Mathematics has started. The material is not yet finished: slides are almost complete, except for the last few lessons and … Continue reading

## 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

## 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

## 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

## Seminario a Firenze

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

## Workshop

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

## 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

## Curry-Howard

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

## Olivia’s Website

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

## Monomorphisms as limits

Sometimes it is useful to think to monomorphisms as limits of a category. Let be a monomorhism, i.e., for every pair of arrows , if , then . This is … Continue reading