Login / Signup

Session Type Systems based on Linear Logic: Classical versus Intuitionistic.

Bas van den HeuvelJorge A. Pérez
Published in: PLACES@ETAPS (2020)
Keyphrases
  • linear logic
  • fixed point
  • logic programming
  • logical framework
  • proof theoretic
  • expert systems
  • desirable properties
  • sequent calculus
  • proof search
  • machine learning
  • cut elimination
  • intuitionistic logic