Hello, I'm an undergraduate student in mathematics. I don't really know much about Quantum Computing, but i'm interesting in proving that the Hindley-Milner type system is still safe if you allow supper-position. (This is all after restricting to reversible computations) I don't think this will be too hard, but I need to find some information on how you prove that it is safe in the first place. I'm very new to semantics, so any advice would be appreciated. Thank you.. Jeff Burdges ([EMAIL PROTECTED])
