Extended Curry-Howard terms for second-order logic.

Pimpen Vejjajiva

Published in: Math. Log. Q. (2013)

Keyphrases

higher order
high order
database
databases
artificial intelligence
e learning
knowledge base
database systems
co occurrence
programming language
logic programming
background knowledge
modal logic
multi valued