The semantics of reflected proof (1990)

by Stuart F Allen, Robert L Constable, Douglas J Howe, William Aitken
Venue:ACHA90] [ACU] [All87a] [All87b] [Avr93] [Bar81] [Bar92] [BC85