%0 Journal Article %1 journals/iandc/HillebrandKM96 %A Hillebrand, Gerd G. %A Kanellakis, Paris C. %A Mairson, Harry G. %D 1996 %J Inf. Comput. %K dblp %N 2 %P 117-144 %T Database Query Languages Embedded in the Typed Lambda Calculus. %U http://dblp.uni-trier.de/db/journals/iandc/iandc127.html#HillebrandKM96 %V 127

@article{journals/iandc/HillebrandKM96, added-at = {2021-02-12T00:00:00.000+0100}, author = {Hillebrand, Gerd G. and Kanellakis, Paris C. and Mairson, Harry G.}, biburl = {https://www.bibsonomy.org/bibtex/2f2daf235742339ec7269f7ea3efe0cd8/dblp}, ee = {https://doi.org/10.1006/inco.1996.0055}, interhash = {ba312d141de4e210d66fc457657adf85}, intrahash = {f2daf235742339ec7269f7ea3efe0cd8}, journal = {Inf. Comput.}, keywords = {dblp}, number = 2, pages = {117-144}, timestamp = {2024-04-09T06:08:04.000+0200}, title = {Database Query Languages Embedded in the Typed Lambda Calculus.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc127.html#HillebrandKM96}, volume = 127, year = 1996 }