#### DMCA

## 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: | 113 - 18 self |