Searching for "The Semantics of Reflected Proof" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

The Semantics of Reflected Proof
by Stuart Allen , Robert L. Constable, Douglas J. Howe, William E. Aitken — 1990 — IN PROC. OF FIFTH SYMP. ON LOGIC IN COMP. SCI
…The Semantics of Reflected Proof # Stuart F. Allen Robert L. Constable Douglas J. Howe William E…
Cited by 73 (9 self) – Add To MetaCart

A Type-Free Theory of Half-Monotone Inductive Definitions
by Y. Kaneyama, Y. Takayama, S. Allen, R. L. Constable, D. Howe, W. Aitken
… semantics of reflected proof ", Proc. 5th Annual Symposium on Logic in Computer Science (IEEE Computer…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB