Sign in

Linear logic propositions as session types.

Luís CairesFrank PfenningBernardo Toninho
Published in: Math. Struct. Comput. Sci. (2016)
Keyphrases
  • linear logic
  • sequent calculus
  • intuitionistic logic
  • logic programming
  • artificial intelligence
  • decision making
  • programming language
  • post processing
  • logical framework