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 |