Login / Signup
Linear lambda calculus with explicit substitutions as proof-search in Deep Inference
Luca Roversi
Published in:
CoRR (2010)
Keyphrases
</>
lambda calculus
proof search
theorem prover
predicate calculus
theorem proving
programming language
linear logic
bayesian networks
inference rules
higher order
search procedure
random variables
probabilistic reasoning
general purpose
program understanding
sequent calculus
query processing
pairwise