- Computer Science Laboratory Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique

LIP6 supports the Pink October campaign for breast cancer awareness.

LIP6 2004/002

  • Forschungsbericht «BBFoc»
  • S. Fechter, O. Boite
  • 19 pages - 04.05.2004 - document en - http://www.lip6.fr/lip6/reports/2004/lip6.2004.002.pdf 265 Ko
  • Kontakt stephane.fechter (at) nulllip6.fr
  • Ancien Thème : SPI
    • This article describes a model for a programmation and algebraic structure specification language for the computer algebra. This model have an object oriented aspect, and a new notion of carrier type for handled entities. This article describe the mechanised proof of the type soundness of the model with the Coq system. <Towards_a_formal_def.ps><bbfoc.ps>