Multi-modal Type Theory for Trusted Distributed Knowledge
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 21 September 2010 |
| Place | Ghent, Belgium |
| Occasion | Logic, Reasoning, Rationality Conference |
| Category | Contributed |
| Slides |
 Primiero_LRR10.pdf |
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 21 September 2010 |
| Place | Ghent, Belgium |
| Occasion | Logic, Reasoning, Rationality Conference |
| Category | Contributed |
| Slides |
Primiero_LRR10.pdf |