Reflecting the semantics of reflected proof (1993)

by Douglas J Howe