%0 Journal Article %1 journals/entcs/Schulz00 %A Schulz, Holger %D 2000 %J Electron. Notes Theor. Comput. Sci. %K dblp %P 191-203 %T Type two theory of effectivity and Real PCF. %U http://dblp.uni-trier.de/db/journals/entcs/entcs35.html#Schulz00 %V 35

@article{journals/entcs/Schulz00, added-at = {2020-02-24T00:00:00.000+0100}, author = {Schulz, Holger}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/261abe1e0f45efbbadac1018bcf952abe/dblp}, ee = {https://doi.org/10.1016/S1571-0661(05)82509-5}, interhash = {dbb09095e80b4d2edcc30e5c0aa01164}, intrahash = {61abe1e0f45efbbadac1018bcf952abe}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, pages = {191-203}, timestamp = {2020-04-20T13:06:42.000+0200}, title = {Type two theory of effectivity and Real PCF.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs35.html#Schulz00}, volume = 35, year = 2000 }