Comprobacion de tipos Notas sobre Comprobacion de tipos. Notas Comprobacion de codigo comprobacion de tipos