A System F accounting for scalars

Hoy hemos enviado la versión extendida del paper del Scalar Type System a un journal internacional. El preprint se puede descargar del arXiv (arXiv:0903.3741).
Esta versión incluye:

• La prueba completa de subject reduction
• La prueba completa de strong normalisation
• La definición formal y prueba del probabilistic type system
• La prueba completa del teorema de no-cloning