Login / Signup

LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic.

Pierre PradicColin Riba
Published in: LICS (2018)
Keyphrases
  • linear logic
  • proof theoretic
  • fixed point
  • sequent calculus
  • cut elimination
  • logical framework
  • logic programming
  • desirable properties
  • proof search
  • intuitionistic logic
  • decision making
  • logic programs