An abstract look at realizability

Cached

Download Links

by Edmund Robinson , Queen Mary
Venue:Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL
Citations:1 - 0 self