Talks

SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
ċ

Download
Bridges from Logic (this needs reworking)  443k v. 1 Oct 10, 2011, 5:39 AM Valeria de Paiva
ċ

Download
IMLA2011 Opening slides  122k v. 1 Oct 10, 2011, 5:32 AM Valeria de Paiva
ċ

Download
Intuitionistic Fuzzy Logic and Fuzzy Set Theory, Logic Seminar, Spring 2011, Stanford  267k v. 1 Oct 15, 2011, 1:58 PM Valeria de Paiva
ċ

Download
Lorenzen Games for FILL  203k v. 1 Oct 10, 2011, 5:26 AM Valeria de Paiva
ċ

Download
PARGRAM 2010 slides  365k v. 1 Oct 15, 2011, 1:52 PM Valeria de Paiva
ċ

Download
Pargram 2011 update  314k v. 1 Oct 10, 2011, 5:19 AM Valeria de Paiva
ċ

Download
Partial Compilers and Dialectica Categories  482k v. 1 Oct 10, 2011, 5:21 AM Valeria de Paiva
Comments