Login / Signup
Propositions as sessions.
Philip Wadler
Published in:
J. Funct. Program. (2014)
Keyphrases
</>
artificial intelligence
database
database systems
relational databases
truth values