The Semantics of Reflected Proof (1990)

Cached

Download Links

by Stuart Allen , Robert L. Constable , Douglas J. Howe , William E. Aitken
Venue:IN PROC. OF FIFTH SYMP. ON LOGIC IN COMP. SCI
Citations:88 - 11 self