Login / Signup
Functional interpretations of linear and intuitionistic logic.
Paulo Oliva
Published in:
Inf. Comput. (2010)
Keyphrases
</>
intuitionistic logic
database systems
linear logic
natural deduction
proof theoretic
general purpose