%0 Journal Article %1 journals/apal/Hofmann00 %A Hofmann, Martin %D 2000 %J Ann. Pure Appl. Logic %K dblp %N 1-3 %P 113-166 %T Safe recursion with higher types and BCK-algebra. %U http://dblp.uni-trier.de/db/journals/apal/apal104.html#Hofmann00 %V 104

@article{journals/apal/Hofmann00, added-at = {2013-11-05T00:00:00.000+0100}, author = {Hofmann, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29ed5d20dbfdb099f3685a56699ea1393/dblp}, ee = {http://dx.doi.org/10.1016/S0168-0072(00)00010-5}, interhash = {be42414d892720c311880f18cd1994af}, intrahash = {9ed5d20dbfdb099f3685a56699ea1393}, journal = {Ann. Pure Appl. Logic}, keywords = {dblp}, number = {1-3}, pages = {113-166}, timestamp = {2016-02-02T01:51:18.000+0100}, title = {Safe recursion with higher types and BCK-algebra.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal104.html#Hofmann00}, volume = 104, year = 2000 }