## Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory (2001)

### Cached

### Download Links

- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www.cs.cmu.edu]
- DBLP

### Other Repositories/Bibliography

by
Frank Pfenning

Venue: | Pages 221–230 of: Symposium on Logic in Computer Science |

Citations: | 5 - 3 self |