Fundamental theorems of extensional untyped lambda-calculus revisited.

Alexandre Lyaletsky

Published in: Comput. Sci. J. Moldova (2015)

Keyphrases

lambda calculus
programming language
higher order
artificial intelligence
predicate calculus
database systems
object oriented
data management
database design