Constructive Contextual Modal Judgments for Reasoning from Open Assumption
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 1 July 2010 |
| Place | Ponta Delgada, Portugal |
| Occasion | Computability in Europe 2010 |
| Category | Contributed |
| Slides |
 primiero_CIE10.pdf |