A modal type theory for constructive reasoning with open assumptions
Speaker(s) | Guiseppe Primiero |
---|---|
Date | 3 December 2009 |
Place | Paris, France |
Occasion | Colloquium Project Hypo |
Category | Invited |
Speaker(s) | Guiseppe Primiero |
---|---|
Date | 3 December 2009 |
Place | Paris, France |
Occasion | Colloquium Project Hypo |
Category | Invited |