## Relative and Modified Relative Realizability (2001)

### Cached

### Download Links

- [www.math.uu.nl]
- [www.math.ruu.nl]
- [www.it-c.dk]
- [www.it-c.dk]
- [www.itu.dk]
- [www.math.ruu.nl]
- DBLP

### Other Repositories/Bibliography

by
Lars Birkedal
,
Jaap Van Oosten

Venue: | Annals of Pure and Applied Logic |

Citations: | 8 - 0 self |