@TechReport{vdH:mmxtyping-pre,
  author = 	 {Hoeven, J. van der},
  title = 	 {Overview of the {Mathemagix} type system},
  institution =  {HAL},
  year = 	 {2012},
  note = 	 {\verb|http://hal.archives-ouvertes.fr/hal-00702634|}
}

@InProceedings{vdH:mmxtyping-elec,
  author = 	 {Hoeven, J. van der},
  title = 	 {Overview of the {Mathemagix} type system},
  booktitle =    {Electronic proc. ASCM '12},
  year =         {2012},
  address =      {Beijing, China},
  month =        {October},
  note =         {Available from
                  \verb|http://hal.archives-ouvertes.fr/hal-00702634|}
}

@incollection{vdH:mmxtyping,
  author = 	 {Hoeven, J. van der},
  title = 	 {Overview of the {Mathemagix} type system},
  booktitle =    {Computer Mathematics},
  editor =       {Feng, R. and Lee, W.-S. and Sato, Y.},
  year =         {2014},
  publisher =    {Springer Berlin Heidelberg},
  pages =        {397--425},
  note =         {10th Asian Symposium on Computer Mathematics (ASCM 2012)}
}