Resort has been had to notions and mechanisms which are incompatible with civil law. Consequently, the relationship between the corporation and its officers and directors cannot be characterized in a satisfactory manner by the civil law of Quebec. This deadlock brought...
This thesis does such a factorization for theoretical type systems featuring recursive types, subtyping, bounded polymorphism, and constraint polymorphism. Interestingly, soundness and normalization for strong reduction imply soundness and normalization for all usual strategies. Our observation is that a ...