Login / Signup
Hybrid Functional Interpretations of Linear and Intuitionistic Logic.
Paulo Oliva
Published in:
J. Log. Comput. (2012)
Keyphrases
</>
intuitionistic logic
natural deduction
classical logic
linear logic
artificial intelligence
probability distribution