Reflecting the semantics of reflected proof (1992)

by D J Howe
Venue:Proof Theory