Login / Signup

Programs with Continuations and Linear Logic.

Shin-ya Nishizaki
Published in: TACS (1991)
Keyphrases
  • linear logic
  • fixed point
  • desirable properties
  • logical framework
  • proof theoretic
  • logic programming
  • sequent calculus
  • cut elimination
  • intuitionistic logic
  • proof search
  • answer sets
  • first order logic
  • inference rules