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
Blog sobre computación cuántica y fundamentos de las ciencias de la computación. En general cubrimos los temas de investigación a los que nosotros nos dedicamos, los cuales comenzaron siendo computación cuántica, y con el tiempo van evolucionando, cambiando, agregando nuevas áreas, etc.
31 de julio de 2009
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:
Esta versión incluye:
Suscribirse a:
Comentarios de la entrada (Atom)
0 comments:
Publicar un comentario