Linear logic (1992)

by P Lincoln
Venue:SIGACT News