|
ċ
|
clmps-wk.pdf
Download |
Bridges from Logic (this needs reworking) |
443k |
v. 1 |
Oct 10, 2011, 5:39 AM
|
Valeria de Paiva |
|
ċ
|
IMLA2011.pdf
Download |
IMLA2011 Opening slides |
122k |
v. 1 |
Oct 10, 2011, 5:32 AM
|
Valeria de Paiva |
|
ċ
|
IntFuzzySetTheory.pdf
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 |
|
ċ
|
Lorenzen.pdf
Download |
Lorenzen Games for FILL |
203k |
v. 1 |
Oct 10, 2011, 5:26 AM
|
Valeria de Paiva |
|
ċ
|
pargram2010.pdf
Download |
PARGRAM 2010 slides |
365k |
v. 1 |
Oct 15, 2011, 1:52 PM
|
Valeria de Paiva |
|
ċ
|
pargram2011.pdf
Download |
Pargram 2011 update |
314k |
v. 1 |
Oct 10, 2011, 5:19 AM
|
Valeria de Paiva |
|
ċ
|
PartialCompilers.pdf
Download |
Partial Compilers and Dialectica Categories |
482k |
v. 1 |
Oct 10, 2011, 5:21 AM
|
Valeria de Paiva |
|