Login / Signup
About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus
Corrado Böhm
Enrico Tronci
Published in:
Inf. Comput. (1991)
Keyphrases
</>
lambda calculus
management system
databases
expert systems
artificial intelligence
software engineers