%0 Journal Article %1 journals/aml/KristiansenN94 %A Kristiansen, Lill %A Normann, Dag %D 1994 %J Arch. Math. Log. %K dblp %N 4 %P 243-259 %T Interpreting higher computations as types with totality. %U http://dblp.uni-trier.de/db/journals/aml/aml33.html#KristiansenN94 %V 33

@article{journals/aml/KristiansenN94, added-at = {2016-11-30T00:00:00.000+0100}, author = {Kristiansen, Lill and Normann, Dag}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20e9837423e370274409312bcf882c40e/dblp}, ee = {http://dx.doi.org/10.1007/BF01270624}, interhash = {68426548985e3267295d71be289f2fac}, intrahash = {0e9837423e370274409312bcf882c40e}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 4, pages = {243-259}, timestamp = {2016-12-01T10:32:36.000+0100}, title = {Interpreting higher computations as types with totality.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml33.html#KristiansenN94}, volume = 33, year = 1994 }