Login / Signup

Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus.

Susumu Hayashi
Published in: Theor. Comput. Sci. (1985)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • data structure
  • general purpose
  • database query languages
  • databases
  • database systems
  • expert systems
  • complex objects
  • object oriented databases