Searching for "An Abstract Look at Realizability." – 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.

An abstract look at realizability
by Edmund Robinson, Queen Mary — Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL
… An Abstract Look at Realizability Edmund Robinson?1 and Giuseppe Rosolini2 1 Queen Mary…
Cited by 1 (0 self) – Add To MetaCart

An Abstract Look At Realizability
by F. De Marchi, E. P. Robinson, G. Rosolini — 2000
…An abstract look at realizability F. De Marchi (University of Leicester) E.P. Robinson (Queen Mary…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB