Login / Signup
Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models
Hirofumi Yokouchi
Published in:
Inf. Control. (1986)
Keyphrases
</>
lambda calculus
data structure
database
relational databases
higher order
incomplete information