%0 Journal Article %1 escardo1996per %A Escardó, M.H. %D 1996 %I Elsevier %J Theoretical Computer Science %K imported %N 1 %P 79--115 %T PCF extended with real numbers %V 162

@article{escardo1996per, added-at = {2008-09-21T20:45:45.000+0200}, author = {Escard{\'o}, M.H.}, biburl = {https://www.bibsonomy.org/bibtex/239af13a302ffd39886d1082fecc035c3/folke}, description = {A functional language for exact computation with real numbers.}, interhash = {bae411f61306264d763bb961e21a4524}, intrahash = {39af13a302ffd39886d1082fecc035c3}, journal = {Theoretical Computer Science}, keywords = {imported}, number = 1, pages = {79--115}, publisher = {Elsevier}, timestamp = {2008-09-21T20:45:45.000+0200}, title = {{PCF extended with real numbers}}, volume = 162, year = 1996 }