Login / Signup
A decorated proof system for exceptions.
Jean-Guillaume Dumas
Dominique Duval
Jean-Claude Reynaud
Published in:
CoRR (2013)
Keyphrases
</>
modal logic
orders of magnitude
cut elimination