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