V. Krupski

Referential logic of proofs

Vladimir Krupski, V. Krupski, 2006, Theor. Comput. Sci..

Reference Constructions in the Single-conclusion Proof Logic

Vladimir Krupski, V. Krupski, 2006, J. Log. Comput..

The single-conclusion proof logic and inference rules specification

Vladimir Krupski, V. Krupski, 2001, Ann. Pure Appl. Log..

Operational Logic of Proofs with Functionality Condition on Proof Predicate

Vladimir Krupski, V. Krupski, 1997, LFCS.

MetaPRL - A Modular Logical Environment

Xin Yu, Christoph Kreitz, Jason Hickey, 2003, TPHOLs.