## Refinement Types for Logical Frameworks (1993)

### Cached

### Download Links

- [pecan.srv.cs.cmu.edu]
- [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]
- [www.lb.cs.cmu.edu]
- [www-cgi.cs.cmu.edu.]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]

by
Frank Pfenning

Venue: | Informal Proceedings of the Workshop on Types for Proofs and Programs |

Citations: | 43 - 9 self |