§4.4 Merging Intuitionistic, irreversible and reversible backtracking.
Merging intuitionistic and irreversible backtracking.
A generic position of the play in tree form.
A generic position of the play in sequent form.
Merging intuitionistic and irreversible backtracking.
Created by Mathematica (November 11, 2006)