## Lambda Definability with Sums via Grothendieck Logical Relations (1999)

### Cached

### Download Links

- [www.cogs.susx.ac.uk]
- [www.cl.cam.ac.uk]
- [www.dcs.ed.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Marcelo Fiore
,
Alex Simpson

Citations: | 6 - 0 self |