%0 Conference Paper %1 conf/lics/HillebrandKM93 %A Hillebrand, Gerd G. %A Kanellakis, Paris C. %A Mairson, Harry G. %B LICS %D 1993 %I IEEE Computer Society %K dblp %P 332-343 %T Database Query Languages Embedded in the Typed Lambda Calculus %U http://dblp.uni-trier.de/db/conf/lics/lics93.html#HillebrandKM93 %@ 0-8186-3140-6

@inproceedings{conf/lics/HillebrandKM93, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hillebrand, Gerd G. and Kanellakis, Paris C. and Mairson, Harry G.}, biburl = {https://www.bibsonomy.org/bibtex/2ab5b12554a4ff9aa227b4d6c3f6133c8/dblp}, booktitle = {LICS}, crossref = {conf/lics/1993}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1993.287575}, interhash = {38fb61212a233e7ef1659a35759e6c7b}, intrahash = {ab5b12554a4ff9aa227b4d6c3f6133c8}, isbn = {0-8186-3140-6}, keywords = {dblp}, pages = {332-343}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:23.000+0200}, title = {Database Query Languages Embedded in the Typed Lambda Calculus}, url = {http://dblp.uni-trier.de/db/conf/lics/lics93.html#HillebrandKM93}, year = 1993 }