Sign in

A linear/producer/consumer model of classical linear logic.

Jennifer PaykinSteve Zdancewic
Published in: Math. Struct. Comput. Sci. (2018)
Keyphrases
  • linear logic
  • linear model
  • artificial intelligence
  • utility function
  • logical framework