Sign in

Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts.

Zena M. AriolaPaul DownenHugo HerbelinKeiko NakataAlexis Saurin
Published in: FLOPS (2012)
Keyphrases
  • sequent calculi
  • high quality
  • semantic web
  • semantic information
  • semantic network
  • conditional logic