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 PDF icon primiero_ecap09.pdf