Logic ForAll
Forro' Logico: A blog to keep things.
Thursday, March 27, 2014
Lead and Crime
›
(I have been looking for pictures of contradictions, so here is a nice one, as it's very ordinary.) I've read this amazing arti...
Thursday, March 6, 2014
Wow! the book is out!
›
Just got email from Christi, the nice Springer person, saying the book is OUT!!! The link for the book Advances in Natural Deduction ...
2 comments:
Saturday, February 22, 2014
Global WordNet Conference 2014
›
So I missed the chance of going to Tartu, Estonia for the Global WordNet conference, Jan 25-29, 2014. I'm told it was great! But I...
Sunday, February 16, 2014
Subtyping, oh subtyping, where art thou?...
›
I don't know how come I ended up skimming the following report Extending ML F with Higher-Order Types , as System F is nowadays very ...
2 comments:
Saturday, February 15, 2014
Angry that...
›
Angry that this paper The Dialectica Categories has been available from http://www.cs.bham.ac.uk/~vdp/publications/dial87.pdf for some ...
Tuesday, February 11, 2014
Workshops I am organizing this year
›
Workshop on Natural Language in Computer Science , Vienna Month of Logic, Austria, July 2014. Workshop on Logics and Ontologies for Na...
Wednesday, February 5, 2014
Me in YouTube?! oh my...
›
Larry Moss told me that my 'Introduction to Category Theory' lectures (or Category Theory for Linguists) are now on YouTube,...
‹
›
Home
View web version
