## Natural Deduction for Intuitionistic Non-Commutative Linear Logic (1999)

### Cached

### Download Links

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

by
Jeff Polakow
,
Frank Pfenning

Venue: | Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99 |

Citations: | 33 - 15 self |