The Semantics of Reflected Proof (1990)

by Stuart Allen , Robert L. Constable, Douglas J. Howe, William E. Aitken
Venue:IN PROC. OF FIFTH SYMP. ON LOGIC IN COMP. SCI