Login / Signup
Continuation-passing Style Models Complete for Intuitionistic Logic
Danko Ilik
Published in:
CoRR (2011)
Keyphrases
</>
intuitionistic logic
database
high level
probabilistic model