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

by Dale Miller
Venue:3rd Workshop on Extensions to Logic Programming, LNCS 660
Citations:101 - 17 self