Open proofs and open terms: A basis for interactive logic (0)

by Herman Geuvers, Gueorgui I Jojgov
Venue:CSL, Springer