Uniqueness Typing in Natural Deduction Style.

Erik Barendsen Sjaak Smetsers

Published in: Functional Programming (1995)

Keyphrases

natural deduction
theorem prover
inference rules
sequent calculus
cut elimination
intuitionistic logic
theorem proving
linear time temporal logic
linear logic
neural network
artificial intelligence
knowledge base