The Semantics of Reflected Proof

Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken

Browse the full LICS paper archive.