Sign in

Bifibrations of Polycategories and Classical Linear Logic.

Nicolas BlancoNoam Zeilberger
Published in: MFPS (2020)
Keyphrases
  • linear logic
  • fixed point
  • logic programming
  • desirable properties
  • proof theoretic
  • sequent calculus
  • cut elimination
  • logical framework
  • proof search
  • inference rules
  • knowledge base
  • intuitionistic logic
  • natural language