Functorial Semantics of the Type Free lambda-beta eta Calculus.

Adam Obtulowicz

Published in: FCT (1977)

Keyphrases

database query languages
lambda calculus
type checking
formal language
fixed point
neural network
expressive power
database
query language
data sets
semantic information
relational algebra
multiple types
algebraic structure