Open Proofs and Open Terms: A Basis for Interactive Logic.

Herman Geuvers, Gueorgui I. Jojgov

Browse the full CSL paper archive.