Login / Signup

Linear Lambda-Terms and Natural Deduction.

Grigori Mints
Published in: Stud Logica (1998)
Keyphrases
  • natural deduction
  • information retrieval
  • intuitionistic logic
  • software engineering
  • fixed point
  • inference rules
  • theorem prover
  • linear model