Login / Signup

Propositions as sessions.

Philip Wadler
Published in: J. Funct. Program. (2014)
Keyphrases
  • artificial intelligence
  • database
  • database systems
  • relational databases
  • truth values