Login / Signup

Polymorphic type checking for the ramified theory of types of Principia Mathematica.

M. Randall Holmes
Published in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
  • type checking
  • data types
  • query processor
  • abstract data types
  • relational calculus
  • nearest neighbor
  • expressive power
  • relational database systems
  • database query languages