Non determinism through type isomorphism