On the meaning of decidability issues in dependent types for the problem of output correctness

Speaker(s)	Guiseppe Primiero
Date	2 July 2009
Place	Barcelona, Spain
Occasion	ECAP09 - European Conference on Computing and Philosophy
Category	Contributed
Slides	primiero_ecap09.pdf