A certified, corecursive implementation of exact real numbers. Ciaffaglione, A. & Di Gianantonio, P. 351(1):39–51, 2006.
bibtex   
@ARTICLE{CG06,
  author = {Ciaffaglione, Alberto and Di Gianantonio, Pietro},
  title = {A certified, corecursive implementation of exact real numbers},
  journal = TCS,
  year = {2006},
  volume = {351},
  pages = {39--51},
  number = {1},
  file = {CG06.pdf:CG06.pdf:PDF;CG06.pdf:files\\CG06.pdf:PDF},
  keywords = {bib,cca}
}
Downloads: 0