%0 Journal Article %1 journals/logcom/Bakel93 %A van Bakel, Steffen %D 1993 %J J. Log. Comput. %K dblp %N 6 %P 643-670 %T Principal Type Schemes for the Strict Type Assignment System. %U http://dblp.uni-trier.de/db/journals/logcom/logcom3.html#Bakel93 %V 3

@article{journals/logcom/Bakel93, added-at = {2011-06-29T00:00:00.000+0200}, author = {van Bakel, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/2e8c42e289ed98989feb354a08e664bb8/dblp}, ee = {http://dx.doi.org/10.1093/logcom/3.6.643}, interhash = {81f5aab4d5b11d9a7ce85116aac6ada7}, intrahash = {e8c42e289ed98989feb354a08e664bb8}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 6, pages = {643-670}, timestamp = {2011-06-30T11:38:49.000+0200}, title = {Principal Type Schemes for the Strict Type Assignment System.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom3.html#Bakel93}, volume = 3, year = 1993 }