%0 Journal Article %1 journals/lmcs/BunderD08 %A Bunder, Martin W. %A Dekkers, Wil %D 2008 %J Logical Methods in Computer Science %K dblp %N 1 %T Are there Hilbert-style Pure Type Systems? %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs4.html#BunderD08 %V 4

@article{journals/lmcs/BunderD08, added-at = {2019-05-14T00:00:00.000+0200}, author = {Bunder, Martin W. and Dekkers, Wil}, biburl = {https://www.bibsonomy.org/bibtex/289094a8dda489034ce38a0ca4ae93e33/dblp}, ee = {https://doi.org/10.2168/LMCS-4(1:1)2008}, interhash = {c422dca4d96e6dfbff06b0907d51c9cd}, intrahash = {89094a8dda489034ce38a0ca4ae93e33}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-05-15T11:51:26.000+0200}, title = {Are there Hilbert-style Pure Type Systems?}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs4.html#BunderD08}, volume = 4, year = 2008 }