Login / Signup
The self-reduction in lambda calculus.
Fangmin Song
YongSen Xu
Yuechen Qian
Published in:
Theor. Comput. Sci. (2000)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
higher order
program understanding
databases
case study
data structure
relational databases
open source
integrity constraints
complex objects
formal model