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

Zena M. Ariola Paul Downen Hugo Herbelin Keiko Nakata Alexis Saurin

Published in: FLOPS (2012)

Keyphrases

sequent calculi
high quality
semantic web
semantic information
semantic network
conditional logic