%0 Journal Article %1 journals/tcs/GhelliP98 %A Ghelli, Giorgio %A Pierce, Benjamin C. %D 1998 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 75-96 %T Bounded Existentials and Minimal Typing. %U http://dblp.uni-trier.de/db/journals/tcs/tcs193.html#GhelliP98 %V 193

@article{journals/tcs/GhelliP98, added-at = {2021-02-17T00:00:00.000+0100}, author = {Ghelli, Giorgio and Pierce, Benjamin C.}, biburl = {https://www.bibsonomy.org/bibtex/2f8058a53b6313cb9fedcd381ec36bf0e/dblp}, ee = {https://doi.org/10.1016/S0304-3975(96)00300-3}, interhash = {426aa9a1872d73420dedb18746dc35a0}, intrahash = {f8058a53b6313cb9fedcd381ec36bf0e}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {75-96}, timestamp = {2024-04-08T18:47:11.000+0200}, title = {Bounded Existentials and Minimal Typing.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs193.html#GhelliP98}, volume = 193, year = 1998 }