Finally, polarisation mode dispersion and vectorial modulational instability in the microstructured fibre are studied.Lavender, PaulNotes Bibliogr
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 ...