The semantics of reflected proof (1990)

by Stuart F Allen, Robert L Constable, Douglas J Howe, William E Aitken
Venue:In Proc. of Fifth Symp. on Logic in Comp. Sci, IEEE Computer