%0 Journal Article %1 journals/tcs/AbbottAG05 %A Abbott, Michael Gordon %A Altenkirch, Thorsten %A Ghani, Neil %D 2005 %J Theor. Comput. Sci. %K dblp %N 1 %P 3-27 %T Containers: Constructing strictly positive types. %U http://dblp.uni-trier.de/db/journals/tcs/tcs342.html#AbbottAG05 %V 342

@article{journals/tcs/AbbottAG05, added-at = {2021-02-17T00:00:00.000+0100}, author = {Abbott, Michael Gordon and Altenkirch, Thorsten and Ghani, Neil}, biburl = {https://www.bibsonomy.org/bibtex/2912fb7adc927cf2e6ea1a2e9fd6cec5b/dblp}, ee = {https://www.wikidata.org/entity/Q61583925}, interhash = {f639254c96705d935b5ffbc707079735}, intrahash = {912fb7adc927cf2e6ea1a2e9fd6cec5b}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {3-27}, timestamp = {2024-04-08T18:43:24.000+0200}, title = {Containers: Constructing strictly positive types.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs342.html#AbbottAG05}, volume = 342, year = 2005 }