A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types.

Steffen van Bakel Maria Grazia Vigliotti

Published in: CONCUR (2009)

Keyphrases

automated deduction
data sets
artificial intelligence
automated theorem proving
algebraic structure
computer algebra
real time
learning algorithm
rough sets
x ray images
probabilistic logic
real numbers
formal language