For those interested, I want to signal the workshop Foundation of Mathematics for Computer-Aided Formalization. I’ve just registered for participation.
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
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
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.
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
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
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
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
Olivia Caramello has now a website where she explains her research activity and, in particular, the unification project.