Concepedia

Database Query Languages Embedded in the Typed Lambda Calculus

Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson

Information and Computation · 1996 · 25 citations · 27 references

DOI

Concepts

References

27

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

, , +11

Recursive functions of symbolic expressions and their computation by machine, Part I

John McCarthy · Communications of the ACM · 1960 · 1.4K citations · Full text

, , +7

The polynomial-time hierarchy

Larry J. Stockmeyer · Theoretical Computer Science · 1976 · 1.3K citations

Generalized first-order spectra and polynomial-time recognizable sets

Ronald Fagin · Medical Entomology and Zoology · 1974 · 834 citations

, , +9

Relational queries computable in polynomial time

Neil Immerman · Information and Control · 1986 · 648 citations

, , +14