Encoding Tight Typing in a Unified Framework.

Delia Kesner, Andrs Viso

Browse the full CSL paper archive.