The Semantics of Re ected Proof (1990)

by Stuart F Allen, Robert L Constable, Douglas J Howe, William E Aitken
Venue:In LICS, pages 95 105. IEEE Computer Society