Deriving Focused Lattice Calculi

G. Struth

2002-08

in: Universität Augsburg Technical Report, Institute of Computer Science, University of Augsburg, May 2002