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