Login / Signup
From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions.
Gilles Dowek
Murdoch Gabbay
Published in:
CoRR (2011)
Keyphrases
</>
multi valued
probabilistic model
automated reasoning
computational properties
machine learning
knowledge base
decision trees
search algorithm
artificial neural networks
logic programming
expressive power
classical logic
asynchronous circuits
lambda calculus