%0 Journal Article %1 journals/eatcs/CoquandNSS94 %A Coquand, Thierry %A Nordström, Bengt %A Smith, Jan M. %A von Sydow, Björn %D 1994 %J Bulletin of the EATCS %K dblp %P 203-228 %T Type Theorie Programming. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs52.html#CoquandNSS94 %V 52

@article{journals/eatcs/CoquandNSS94, added-at = {2003-06-25T00:00:00.000+0200}, author = {Coquand, Thierry and Nordström, Bengt and Smith, Jan M. and von Sydow, Björn}, biburl = {https://www.bibsonomy.org/bibtex/2415e5e3287878e88837ff11aa24ab66d/dblp}, date = {2003-06-25}, description = {dblp}, interhash = {8edfa1ad61672784578a8663bf83be6b}, intrahash = {415e5e3287878e88837ff11aa24ab66d}, journal = {Bulletin of the EATCS}, keywords = {dblp}, pages = {203-228}, timestamp = {2003-06-25T00:00:00.000+0200}, title = {Type Theorie Programming.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs52.html#CoquandNSS94}, volume = 52, year = 1994 }