A verificationist modal language for contextual computations
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 22 June 2012 |
| Place | Cambridge, UK |
| Occasion | Computability in Europe 2012 Conference |
| Category | Contributed |
| Slides |
 cie2012_primierob.pdf |
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 22 June 2012 |
| Place | Cambridge, UK |
| Occasion | Computability in Europe 2012 Conference |
| Category | Contributed |
| Slides |
cie2012_primierob.pdf |