Login / Signup

Linear logic and permutation stacks - the Forth shall be first.

Henry G. Baker
Published in: SIGARCH Comput. Archit. News (1994)
Keyphrases
  • linear logic
  • fixed point
  • proof theoretic
  • proof search
  • sequent calculus
  • cut elimination
  • logic programming
  • desirable properties
  • logical framework
  • intuitionistic logic
  • inference rules