Login / Signup
Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters.
Pierluigi Minari
Published in:
Arch. Math. Log. (2007)
Keyphrases
</>
lambda calculus
management system
complex objects
expert systems
co occurrence
higher order
expressive power
reasoning systems