## Modelling General Recursion in Type Theory (2002)

### Cached

### Download Links

- [www.math.chalmers.se]
- [www.cs.chalmers.se]
- [www.md.chalmers.se]
- DBLP

### Other Repositories/Bibliography

by
Ana Bove
,
Venanzio Capretta

Venue: | Mathematical Structures in Computer Science |

Citations: | 38 - 6 self |