Login / Signup
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus.
Ryuta Arisaka
Published in:
CoRR (2014)
Keyphrases
</>
structural information
sequent calculus
cut elimination
data model