## The π-calculus as a theory in linear logic: Preliminary results (1993)

### Cached

### Download Links

by
Dale Miller

Venue: | 3rd Workshop on Extensions to Logic Programming, LNCS 660 |

Citations: | 102 - 17 self |