Login / Signup
Continuation-passing style models complete for intuitionistic logic.
Danko Ilik
Published in:
Ann. Pure Appl. Log. (2013)
Keyphrases
</>
relational databases
probabilistic model
intuitionistic logic
object oriented