%0 Journal Article %1 journals/aml/KristiansenN97 %A Kristiansen, Lill %A Normann, Dag %D 1997 %J Arch. Math. Log. %K dblp %N 6 %P 405-436 %T Total objects in inductively defined types. %U http://dblp.uni-trier.de/db/journals/aml/aml36.html#KristiansenN97 %V 36

@article{journals/aml/KristiansenN97, added-at = {2008-07-17T00:00:00.000+0200}, author = {Kristiansen, Lill and Normann, Dag}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fd0490f3bc03dae49d80a1e05173e4f7/dblp}, ee = {http://dx.doi.org/10.1007/s001530050073}, interhash = {a8e59b57637772bacc61a593cd040886}, intrahash = {fd0490f3bc03dae49d80a1e05173e4f7}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 6, pages = {405-436}, timestamp = {2016-02-02T10:18:54.000+0100}, title = {Total objects in inductively defined types.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml36.html#KristiansenN97}, volume = 36, year = 1997 }